Gentoo Linux -- List Archive: gentoo-dev

Note: Due to technical difficulties, the Archives are currently not up to date. GMANE provides an alternative service for most mailing lists.
c.f. bug 424647

List Archive: gentoo-dev

Navigation:

Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >

Headers:

To:	gentoo-dev@g.o
From:	Zach Forrest <diatribe@...>
Subject:	/etc/profile
Date:	Sun, 02 Dec 2001 17:52:12 -0800

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:

Re: /etc/profile
-- Juergen Ilse

Re: /etc/profile
-- jano

Navigation:

Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >

Previous by thread:

/etc/profile

Next by thread:

Re: /etc/profile

Previous by date:

mozilla ebuild...

Next by date:

Re: /etc/profile

Updated Jun 17, 2009

Summary: Archive of the gentoo-dev mailing list.

Donate to support our development efforts.