Gentoo Archives: gentoo-dev

From: Juergen Ilse <juergen@×××××××××××.de>
To: gentoo-dev@g.o
Subject: Re: [gentoo-dev] /etc/profile
Date: Mon, 03 Dec 2001 17:55:48
In Reply to: [gentoo-dev] /etc/profile by Zach Forrest

On Sun, Dec 02, 2001 at 05:52:12PM -0800, Zach Forrest wrote:
> I noticed some discussion in November about /etc/profile, but it seems > to have trailed off. Are there any objections to adding the following? > > if [ -e "${HOME}/.bash_profile" ]; then > . ${HOME}/.bash_profile > fi
I think, it is not a good idea ... If you start bash as login-shell, it should parse ${[HOME}/.bash_profile if that file exists, so there should be no need for such a hack. If you insert "bash-specific" commands to this file, you may get error-messages, if you use some other shell that reads /etc/profile (for example ash, sash or ksh). Please don't do such things like inserting something like source ~/.bash_profile in /etc/profile. /etc/profile should not be bash-specific in any way. ciao, Juergen Ilse (ilse@××××××.de) -- Wenn ich auch nur aus jedem 1000. Bug in einem M$ Produkt|Juergen Ilse einen Tag trauern wollte, also da muesste ich 300 Jahre |Internet POP Hannover alt werden und wuerde mehrere Dutzend schwarze Anzuege |Vahrenwalder Str. 205 aufbrauchen. (Detlef Bosau in dcoulm) |30165 Hannover