From the top of
# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.
So (if you are using
bash as your shell) I'm guessing either
~/.bash_login is on your system. Select one and edit it to include:
Then save and
source ~/.bash_login or logout and log back in.
You say that both
~/.bash_login are both missing from your
$HOME. I think we need confirm a few things. Please post the results of the following in your original question:
Personally, I do not know why
~/.profile is not being included in your case based on the information provided and documentation. While testing I did notice that my
~/.profile is scanned when I
ssh in but not when I launch a new terminal.
But, there is a simple solution to allow
$HOME/bin to be included in your interactive shell. Edit (create if not present)
~/.bashrc and add the following line to it:
Save, logout and log back in, or
export line could be expanded to check that
$HOME/bin exists if you like with:
if [ -d "$HOME/bin" ]
~/.bashrc instead of another file? Personally preference and seems to be more reliable too.