Damien Miller wrote: > Jeremy Jackson wrote: > > I'm thinking of Debian, where the setting is per-shell because nobody > > seems to have thought of doing this. > > /etc/bashrc ? I am thinking /etc/profile is more appropriate. Sourcing /etc/bashrc is optional. Bob