| 1 |
-----BEGIN PGP SIGNED MESSAGE----- |
| 2 |
Hash: SHA1 |
| 3 |
|
| 4 |
John R. Graham wrote: |
| 5 |
> Mike, I agree. But, the file that _must_ exist isn't "~/.bashrc" but |
| 6 |
> "~/.bash_profile". That's where the that particular bit of |
| 7 |
> man-page-defined behavior is implemented. If "~/.bash_profile" doesn't |
| 8 |
> exist, then "~/.bashrc" won't be sourced whether it exists or not. |
| 9 |
|
| 10 |
Well, bash can't install a .bash_profile file into every user's home |
| 11 |
directory for obvious reasons. That means they shouldn't rely on the |
| 12 |
existence of one to source .bashrc, otherwise they could never guarantee |
| 13 |
that functionality... |
| 14 |
|
| 15 |
It appears as though you're looking for a location that is guaranteed to |
| 16 |
be installed by bash and always executed when there's a non-login shell |
| 17 |
start, from where you can source ${HOME}/.bashrc. I'm not familiar |
| 18 |
enough with bash or Gentoo's setup of bash to comment on this I'm afraid |
| 19 |
(possibly /etc/bash/bashrc?), but relying on .bash_profile so that you |
| 20 |
can or can't source ${HOME}/.bashrc seems a little odd. |
| 21 |
|
| 22 |
Moreover, however ${HOME}/.bashrc got into ${HOME}, presumably |
| 23 |
.bash_profile could be put there at the same time if it doesn't already |
| 24 |
exist? |
| 25 |
|
| 26 |
Mike 5:) |
| 27 |
-----BEGIN PGP SIGNATURE----- |
| 28 |
Version: GnuPG v2.0.7 (GNU/Linux) |
| 29 |
|
| 30 |
iD8DBQFG8mcFu7rWomwgFXoRAnIIAKCUC1ShfOYvKKt5SN4oGV1uYz8HkACfVkVU |
| 31 |
72TtoVvFFI/RXR4WGy5ya4o= |
| 32 |
=dxNr |
| 33 |
-----END PGP SIGNATURE----- |
| 34 |
-- |
| 35 |
gentoo-dev@g.o mailing list |
Archives