Kreeg een tip van een behulpzame medegebruiker om mijn padvariabele te veranderen door een .bash_proflie file op te nemen in mijn /home directory (er stond er nog geen)
Nu heb ik twee vragen:
1. Hoort dit bestand in /home of in /home/mijnnaam?
(ik vermoed het laatste, want in die directory staan ook andere verborgen .bash_ bestanden...
2. Voert het systeem de commando´s in dit bestand niet automatisch uit bij opstarten? Bij mij niet, want de padvariabelen zijn niet veranderd als ik opstart, of een bash shell open.
Wie kan mij inlichten over het gebruik van dit bestand? Dank!
Hieronder de .bash_profile file zoals hij er bij mij uitziet:
valentijn@valentijn-desktop:~$ cat .bash_profile
PATH=$PATH:/usr/lib/gmt/bin
GMTHOME=/usr/lib/gmt
export GMTHOME
MANPATH=$MANPATH:/usr/lib/gmt/man
export MANPATH