On 07/02/2018 04:25 AM, Richard Melville wrote:
On 1 July 2018 at 23:35, Bruce Dubbs <bruce.du...@gmail.com
<mailto:bruce.du...@gmail.com>> wrote:
On 07/01/2018 02:53 PM, Pierre Labastie wrote:
It shows up for me too, even after doing "source .bash_profile".
I think
debian sets this in /etc/bash.bashrc, which is executed at
startup, according
to "man bash".
There is no mention of /etc/bash.bashrc in the bash man pages, only
~/.bashrc.
From the bash man pages:-
" When an interactive shell that is not a login shell is started, bash
reads and executes commands from /etc/bash.bashrc and
~/.bashrc, if
these files exist. This may be inhibited by using the --norc
option.
The --rcfile file option will force bash to read and execute
commands
from file instead of /etc/bash.bashrc and ~/.bashrc."
And to comment further:
https://sources.debian.org/src/bash/4.4.18-3/debian/README/
"5. What is /etc/bash.bashrc? It doesn't seem to be documented.
The Debian version of bash is compiled with a special option
(-DSYS_BASHRC) that makes bash read /etc/bash.bashrc before ~/.bashrc
for interactive non-login shells. So, on Debian systems,
/etc/bash.bashrc is to ~/.bashrc as /etc/profile is to
~/.bash_profile."
-- Bruce
--
http://lists.linuxfromscratch.org/listinfo/lfs-support
FAQ: http://www.linuxfromscratch.org/blfs/faq.html
Unsubscribe: See the above information page
Do not top post on this list.
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?
http://en.wikipedia.org/wiki/Posting_style
