Mail Archives: djgpp-workers/1999/02/14/05:14:38
On Thu, 11 Feb 1999, Mark E. wrote:
> Consider the PATH_EXPAND variable. Is there a time when a path
> shouldn't be expanded?
Unfortunately, there are cases where expanding //d/foo/bar is not the
right thing. The most common case is a Sed script (Sed scripts
usually like slashes ;-). I think Bash even has some code to
specifically test for Sed, for this very reason, and avoid expanding
what seems to be a file name.
More generally, Bash cannot possibly know whether a string such as
//d/foo/bar is a file name or just a string.
However, with the new /dev/d/ feature of DJGPP v2.02, I expect it to
work much better than //d/foo, since the former is supported by all
DJGPP programs linked against v2.02 libraries. So it might be a good
idea to invent some way of getting Bash to convert PATH into the
/dev/d/ form, and have its internal commands, like `pwd' return
pathnames in that form as well. (Of course, you will have to rebuild
File-, Text-, Sh- etc. utils with v2.02, before you can actually use
that.)
- Raw text -