Greetings, Eric Blake! >>> test -f //dot >> >> Use empty base prefix to specify filesystem root.
> Sorry; the empty base prefix in $PATH I didn't said anything about $PATH. > means the current directory, not the root. >>> (I *had* introduced / to the PATH by adding cygwin's install dir to my >>> Windows PATH; to ease access to cygwin.bat.) >> >> This sounds like a bad idea. > Not entirely bad, if you use /// instead of / in your PATH. It's bad idea. -- WBR, Andrey Repin (anrdae...@freemail.ru) 14.07.2012, <23:56> Sorry for my terrible english... -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
