In ~/.bash_profile add: . $HOME/.bashrc It sounds like the difference between a login and non-login shell... -- Eric G. Miller <egm2@jps.net> -- To UNSUBSCRIBE, email to debian-user-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org