Etude d'un script particulier : démarrage de session
On trouve, sous le répertoire de chaque utilisateur, deux scripts de nom .bash_profile et .bashrc (fichiers cachés).
Si l'administrateur l'a mis en service un fichier /etc/profile est exécuté au démarrage de la session puis le fichier .bashrc s'il existe.
Par défaut .bashrc contient les lignes suivantes :
# User specific aliases and functions
# Source global definitions
if [ -f /etc/bashrc ]; then
. /etc/bashrc
fi
Sous le premier commentaire l'utilisateur peut ajouter toutes les lignes qu'il désire : ajouter des alias et des fonctions qui seront exécutées lors de l'exécution de ce script. Puis on teste l'existence d'un fichier /etc/bashrc et s'il existe on l'exécute. C'est dans ce script que l'administrateur profile la session des utilisateurs.
Le fichier .bash_profile est exécuté lors de l'ouverture de la session. Il contient les lignes suivantes :
# Get the aliases and functions
if [ -f ~/.bashrc ]; then
. ~/.bashrc
fi
# User specific environment and startup programs
PATH=$PATH:$HOME/bin
export PATH
On commence par tester l'existence du fichier .bashrc et on l'exécute. Ensuite on modifie éventuellement le PATH par défaut où les commandes sont recherchées et la valeur de cette variable est exportée de façon que tous les processus fils la connaissent.
Copyright Yves Epelboin, université P.M. Curie, février 2003, MAJ
25 février, 2007
