Gentoo Logo
Gentoo Spaceship




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.

Copyright 2001-2013 Gentoo Foundation, Inc. Questions, Comments? Contact us.