bashrc und bash_profile
Hier wird der unterschied zwischen den zwei Dateien erklärt.
Sollte man die vorgesehen Funktionsweise der beiden Dateien trennen wollen
(also nur .bash_profile
für login shells und die .bashrc
zB. bei shells unter einen Window manager )
dann muss man in der .bash_profile
folgendens kommentieren ( mit # versehen )
#if [ -f ~/.bashrc ]; then
# . ~/.bashrc
#fi