Christopher Faylor writes: > If we are changing a longstanding behavior then I agree with Daniel that > this is a bad idea. You're just asking for people to be confused.
Again, I'm not arguing for changing the default. In fact, as long as ORIGINAL_PATH stays available it might even still be added to PATH in /etc/profile, although I still think it is cleaner to install /etc/profile.d/00_add_windows_path.sh in base-files with the contents I've shown. If it's already been added then removing it with just the means of a POSIX shell is a bit involved, but even that would be a possibility. > If you want to make it easy to remove the Windows PATH then I guess I > can see why that would be useful but it seems like anyone for whom this > would be an issue would know how to do this anyway so I don't see why we > have to go to great lengths to accommodate anyone who wants this. The issue is that to effect that customization I have to change a file that is not supposed to be changed (since that prevents any updates from getting to it automatically). Regards, Achim. -- +<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+ SD adaptation for Waldorf microQ V2.22R2: http://Synth.Stromeko.net/Downloads.html#WaldorfSDada -- 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
