Choix du shell sur Debian et dérivé
Rédigé par Marc GUILLAUME | Aucun commentairePourquoi changer de shell ?
Depuis Debian 6.0 Squeeze, le Shell générique par défaut n'est plus bash
mais dash
qui est beaucoup plus rapide à charger. Dash est un shell plus limité que Bash (voir ce comparatif en anglais). Pour une utilisation sur un serveur que l'on ne passe pas son temps à démarrer, l'argument du temps de démarrage n'a pas beaucoup de sens et si comme moi vous avez certains scripts qui ne fonctionnent pas sous dash, pouvoir revenir à bash par défaut n'est pas sans intérêt.
Comment faire ?
Pour changer le shell par défaut, il faut que /bin/sh
pointe vers /bin/bash
et non vers /bin/dash
. Pour effectuer ce réglage utilisez la commande :
# dpkg-reconfigure dash
Vous verrez apparaître un écran de configuration comme celui-ci :
Choisissez No
de manière à sélectionner /bin/bash
comme shell par défaut. On vérifie que c'est le cas :
# ls -l /bin/sh lrwxrwxrwx 1 root root 4 Apr 30 21:33 /bin/sh -> bash