Re: Shell completion on w32 uses "/" instead of "\"

[Stefan Monnier]

> Anywhere.  The point is that those variables may change during the time
> the interactive shell exists (or perhaps a non-interactive shell).
> In this case I noticed it because the file completion code needs to know
> the value of shell-file-name.

Hmm... interesting, I didn't think of this case.

> If shell-file-name is set globally somewhere to something different from
> that in the shell buffer things may fail (as they did here).  I hope I am
> clear enough.

Other than when the user changes the configuration (which shouldn't happen
all the time), when/why would shell-file-name change during the lifetime of
an interactive shell-mode buffer?
Or alternatively, why would the user regularly change the global setting of
shell-file-name?


        Stefan