Date: 03 Sep 2003 10:23:30 +0200 Message-Id: From: Eli Zaretskii To: Richard Dawe CC: djgpp-workers AT delorie DOT com In-reply-to: <3F55014A.989D7DE4@phekda.freeserve.co.uk> (message from Richard Dawe on Tue, 02 Sep 2003 21:44:58 +0100) Subject: Re: /dev/c - c: or c:/ ? References: <3405-Mon01Sep2003191913+0300-eliz AT elta DOT co DOT il> <002a01c370ca$b51801e0$2202a8c0 AT dualzastai> <20030902154229 DOT GB4599 AT kendall DOT sfbr DOT org> <200309021723 DOT h82HN1Lw017627 AT envy DOT delorie DOT com> <3F55014A DOT 989D7DE4 AT phekda DOT freeserve DOT co DOT uk> Reply-To: djgpp-workers AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp-workers AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk > Date: Tue, 02 Sep 2003 21:44:58 +0100 > From: Richard Dawe > > Yes, a stand-alone pwd does give different results: > > bash-2.04$ pwd > /dev/v > bash-2.04$ /djgpp/bin/pwd.exe > c:/djgpp/bin I think only Bash generates /dev/x style of file names. Other programs should _understand_ it, but they don't produce it. That's by design, IIRC.