NN_il_Confusionario <[EMAIL PROTECTED]>:
> 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).
I've been fighting this stuff for so long, I'm convinced the manpage
author never understood it. zsh seems to get it, but that's another
level of complexity ...
> 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
Another common practice is to set PS1 in .bash_profile, then call
.bashrc from .bash_profile. Then, in .bashrc you'll see:
# Hopefully, /etc/profile didn't do this (also). If so,
# .bash_profile should unset PS1 first.
#
if [ ! -z "$PS1" ]; then
# interactive shell startup stuff.
fi
The intent being to not clutter up the environment any more than is
necessary.
Nowadays, this is pretty irrelevant stuff, until something gets
confused and breaks.
--
Any technology distinguishable from magic is insufficiently advanced.
(*) http://blinkynet.net/comp/uip5.html Linux Counter #80292
- - http://www.faqs.org/rfcs/rfc1855.html Please, don't Cc: me.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
