Re: general method to set the $PATH

1999-04-06 Thread Michael Stone
On Tue, Apr 06, 1999 at 05:00:24PM +1000, Brian May wrote: > In the past I have seen a proposal for /etc/environment. I would really > like it if you could setup any environment variable here (that can then > be overriden by the users startup file). That way I can also set MAIL, > MAILDIR, and MAIL

Re: general method to set the $PATH

1999-04-06 Thread Brian May
In article <[EMAIL PROTECTED]> you write: >Users' $PATH is set in different places: /etc/profile, /etc/login.defs >and different programs (login, ssh) read it from different files. >Should we estabilish a policy on this issue? Not to mention different shells use different files (eg zsh doesn't use

Re: general method to set the $PATH

1999-04-04 Thread Dragon
On Sat, 3 Apr 1999, Marco d'Itri wrote: > Users' $PATH is set in different places: /etc/profile, /etc/login.defs > and different programs (login, ssh) read it from different files. > Should we estabilish a policy on this issue? The setting of $PATH is a very standard Unix thing. Change the way it

general method to set the $PATH

1999-04-03 Thread Marco d'Itri
Users' $PATH is set in different places: /etc/profile, /etc/login.defs and different programs (login, ssh) read it from different files. Should we estabilish a policy on this issue? -- ciao, Marco