Am 16. Sep, 2016 schwätzte Tony Baldwin so:
moin moin Tony,
as mentioned, I'm working with a new Jessie installation and having a coupl
headaches, the first had to do with getting a kernel module to load on boot
(already wrote to the list about it.)
The other problem is trying to permanently add $HOME/bin to the $PATH.
I have in .bash_profile
But every time I boot I have to manually add it again.
You have to add it to the file again?
/etc/skel/.profile includes $HOME/bin
$ tail -4 /etc/skel/.profile
# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
But, the top of the file lets us know it's not used if ~/.bash_profile
The bash manpage lists the purpose of ~/.bash_profile and ~/.bashrc.
The personal initialization file, executed for login shells
The individual per-interactive-shell startup file
~/.bashrc gets read for all shells, including screen and tmux instances
and GUI logins that don't invoke login shells, so I put my changes
in ~/.bashrc rather than ~/.bash_profile. If I had interactive
configurations, then I would put those in ~/.bash_profile, everything else
goes in ~/.bashrc.
Actually, I put them in ~/.bashrc_local and include that from ~/.bashrc
so it's easier to keep my localizations synced across systems.
if [ -f ~/.bashrc_local ]; then
# http://www.LuftHans.com/ http://www.PhxLinux.org/
# "The world is a dangerous place to live, not because of the people who
# are evil, but because of the people who don't do anything about it."
# --Albert Einstein