>>>>> "Joost" == J Roeleveld <jo...@antarean.org> writes: Joost> And, what is in the .bash_profile and .bashrc files in your Joost> homedir and in root's homedir?
In my homedir: .bash_profile loads .bashrc .bashrc says export PATH="~/bin/overrideglobal:${PATH}:~/bin" (and defines some aliases) In root's: I have no such files. Maybe it would be less distracting if I don't use a shell at all : youngfrog@geodiff-mac3 ~ $ sudo -i env | grep ^PATH PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/bin:/usr/i686-pc-linux-gnu/gcc-bin/4.5.4:/usr/local/texlive/2012/bin/i386-linux:/root/bin youngfrog@geodiff-mac3 ~ $ sudo env | grep ^PATH PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/local/bin:/usr/local/sbin:/opt/bin:/usr/local/texlive/2011/bin/i386-linux Joost> What do you get with "echo $PATH" when not using sudo? You mean, when I'm logged in as root ? Then it's the same as when using sudo -i. N.