| Chapitre 5 : Le Shell |
Pour le choix d'un shell, deux grandes familles s'affrontent : les shell-iens et les cshell-iens :
A noter que, quel que soit le shell utilisé, tous les environnements sont initialisés par le
fichier /etc/profile modifiable uniquement par l'administrateur.
Le nom du .profile et du .kshrc peuvent changer suivant les shells et
leurs implémentations. Pour le bash sur linux les fichiers se nomment .bash_profile et .bashrc.
Types de shell
Sur votre station ou votre PC sous Linux vous avez certainement le choix entre le
bash, le ksh, le tcsh et le zsh.
Je conseille donc naturellement le shell ksh qui possède le plus grand nombre de fonctionnalités communes.