 |
 |
6.10 Configuration du shell
- Comme la plupart des logiciels importants, le shell utilise
des fichiers de configuration. Ceux-ci sont
exécutés au démarrage du shell.
- Il existe 2 niveaux de
configuration pour le shell: paramétrage
global pour le site et paramétrage
individuel pour un compte utilisateur.
- /etc/profile est un fichier maintenu par
l’administrateur pour la configuration par
défaut des comptes sur une machine.
- ~/.bash_profile, ~/.bash_login, ~/.bashrc et ~/.profile sont des fichiers maintenus par
l’utilisateur pour paramétrer son
compte.
- On y trouve des affectations de
variables: PATH, MANPATH, PS1..., des
(re-)définitions d’alias, le positionnement de l’umask...
- La commande set permet de
modifier les valeurs par défaut des options du
shell :
-
set -o emacs: positionne emacs comme éditeur de
ligne de commande de bash pour en utiliser les raccourcis clavier:
- CTRL-A et
CTRL-E pour le début et la
fin (end) de
ligne;
- CTRL-D
pour la suppression du caractère sous le curseur (delete).
- set -o ignoreeof: plus de
déconnexion par CTRL-D, mais utiliser
exit
previous next
 Commentaires de cette page dans le polycopié de cours
Le TP lié à cette section vous proposera de configurer votre compte. Nous ne
proposons donc pas d’illustration interactive ici.
Vérifiez et approfondissez vos connaissances par le QCM
suivant.
 « Shell - Niveau 2 »
INF, Télécom SudParis, CSC 3001,
Sept. 2014
|
|
