-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
John R. Graham wrote:
> Mike, I agree. But, the file that _must_ exist isn't "~/.bashrc" but
> "~/.bash_profile". That's where the that particular bit of
> man-page-defined behavior is implemented. If "~/.bash_profile" doesn't
> exist, then "~/.bashrc" won't be sourced whether it exists or not.
Well, bash can't install a .bash_profile file into every user's home
directory for obvious reasons. That means they shouldn't rely on the
existence of one to source .bashrc, otherwise they could never guarantee
that functionality...
It appears as though you're looking for a location that is guaranteed to
be installed by bash and always executed when there's a non-login shell
start, from where you can source ${HOME}/.bashrc. I'm not familiar
enough with bash or Gentoo's setup of bash to comment on this I'm afraid
(possibly /etc/bash/bashrc?), but relying on .bash_profile so that you
can or can't source ${HOME}/.bashrc seems a little odd.
Moreover, however ${HOME}/.bashrc got into ${HOME}, presumably
.bash_profile could be put there at the same time if it doesn't already
exist?
Mike 5:)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
iD8DBQFG8mcFu7rWomwgFXoRAnIIAKCUC1ShfOYvKKt5SN4oGV1uYz8HkACfVkVU
72TtoVvFFI/RXR4WGy5ya4o=
=dxNr
-----END PGP SIGNATURE-----
--
[EMAIL PROTECTED] mailing list
