# $HOME/.profile # ce fichier est lu une fois au login # Il peut s'appeler .profile ou .bash_profile # Si le fichier ~/.bashrc existe, on l'éxecute: if [ -f ~/.bashrc ]; then . ~/.bashrc fi # Ici on détermine des variables d'environnement propres à un utilisateur export OPENWINHOME=/usr/openwin export ALLIANCEHOME=/home/cad/alliance export THOTHOME=/usr/local/Thot export MANPATH="$MANPATH:$OPENWINHOME/man:$OPENWINHOME/share/man:$ALLIANCEHOME/man" export PATH="$PATH:/usr/games:$OPENWINHOME/bin:$HOME/bin:$ALLIANCEHOME/bin:$THOTHOME/LINUX-ELF/bin:./" export TERM=linux