From mboxrd@z Thu Jan 1 00:00:00 1970 From: erik quanstrom To: 9fans@cse.psu.edu, rsc@swtch.com References: <20050917024225.9E4C5159C80@dexter-peak.quanstro.net> <20050917162800.6D27E1783D7@dexter-peak.quanstro.net> In-Reply-To: Subject: Re: [9fans] man! play nice. Message-Id: <20050917232642.1C1AC159812@dexter-peak.quanstro.net> Date: Sat, 17 Sep 2005 18:26:42 -0500 Cc: 9fans@cse.psu.edu Topicbox-Message-UUID: 8c436dc6-ead0-11e9-9d60-3106f5b1d025 russ, your solution doesn't work if you do "9 man -P man". page will still fail because it "9 man" will run man with $PLAN9/bin as the first element of the path, thus passing on the same to page and then finding $PLAN9/bin/file before the other one. erik Russ Cox writes | | > i'd rather man do the work than type "man " | > decide that that's not really what i wanted and then type | > "/usr/bin/man ". | | you should put $PLAN9/bin at the end of your path and use 9. | i find it quite reasonable to type "man foo" and get the | unix one and then one i want it i type "9 man foo" to get | the plan 9 one. | | russ