Bash would ignore ~/.profile
if ~/.bash_profile
exists. So you need to check if .bash_profile
is there. And to be safe, you better configure all these settings in .bashrc
and source
it in .profile
. For example:
$ cat ~/.bash_profile [[ $- == *i* ]] || return0 source ~/.bashrc $ cat ~/.bashrc [[ $- == *i* ]] || return 0 export HISTSIZE=100000 export HISTFILESIZE=100000 $