bash path search bug & workarounds

[Vassilii Khachaturov]

Yes, it's the same workaround I proposed later on in the same posting
 -- but the bug's still out there...
 ----------
From: gnu-win32-owner
To: gnu-win32
Subject: Re: bash path search bug & workarounds
Date: Thursday, May 29, 1997 6:12PM

Hi Vassilii,
Why don't you just create a .bashrc in your $HOME directory and change
the $PATH for that bash session in it ?
You could even do the same thing for cmd.exe with a small DOS batch.
Just create a shortcut with the following command line:

C:\WINDOWS\system32\cmd.exe /e:2048 /k <drive>:\<path>\dosrc.bat
90489 Nuernberg          | E-Mail  mh@mike.franken.de
                         | WWW     http://minimike.franken.de/
 -
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request@cygnus.com" with one line of text: "help".
-
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request@cygnus.com" with one line of text: "help".