De grep levert het volgende op: .bash_profile:PATH=$PATH:$HOME/bin .bash_profile:export PATH .bashrc:* ) export PATH=$PATH:. ;; .bashrc:* ) export PATH=$PATH:~/tools ;; .bashrc:* ) export PATH=$PATH:~/mon/monica5/src/ontwikkeltools ;; Niets bijzonders lijkt mij.