« Le système d'exploitation GNU-Linux/Les shells » : différence entre les versions

Contenu supprimé Contenu ajouté
Tavernierbot (discussion | contributions)
Aucun résumé des modifications
Ligne 11 :
Le shell est constitué de petits shells spécifiques à chaque travail, chacun ayant un fichier de configuration stocké dans le répertoire /home de chaque utilisateur, lequel peut les modifier à sa convenance :
 
* <tt>.profile</tt> : executéexécuté automatiquement lors d'un shell de connexion (à chaque login), quel que soit le shell
 
Fichiers de configuration spécifiques au shell '''Bash''' :
 
* <tt>.bash_profile</tt> : executéexécuté automatiquement lors d'un shell de connexion (à chaque login)
* <tt>.bashrc</tt> : chargé automatiquement lors d'un shell interactif
* <tt>.bash_logout</tt> : chargé lors de la fermeture du shell (à la déconnexion)