Gentoo Archives: gentoo-dev

From: Zach Forrest <diatribe@××××.ca>
To: gentoo-dev@g.o
Subject: [gentoo-dev] /etc/profile
Date: Sun, 02 Dec 2001 19:56:05
Message-Id: 3C0ADACC.7050908@shaw.ca
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


- Zach

Replies

Subject Author
Re: [gentoo-dev] /etc/profile Juergen Ilse <juergen@×××××××××××.de>
Re: [gentoo-dev] /etc/profile jano <jano@××××××××××××.net>