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
export PATH

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
        . ~/.bashrc_local


#  "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

Reply via email to