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 [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
