On Tue, Apr 15, 2008 at 02:08:02AM +0200, s. keeling wrote: > .bash_profile is for setting up global env vars. .bashrc is for doing > things for interactive ("login") sessions.
this is completely different from what I understand by reading man bash (section FILES, and also search for "INVOCATION" in all the man page). A common pratice is to source .bashrc from .bash_profile , but it is not a necessity so each one should check such files in $HOME -- Chi usa software non libero avvelena anche te. Digli di smettere. Informatica=arsenico: minime dosi in rari casi patologici, altrimenti letale. Informatica=bomba: intelligente solo per gli stupidi che ci credono. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]