Réseau - Web - GNU/Linux

2014 01 mars

Choix du shell sur Debian et dérivé

Rédigé par Marc GUILLAUME | Aucun commentaire

Pourquoi 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 :

reconf_dash-c0eef98d8162b195c0996dcfcda97f86.png

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

Écrire un commentaire

Quelle est la première lettre du mot znvoso ?

Fil RSS des commentaires de cet article

À propos

Yakati.info - Réseau - Web - GNU/Linux © 2017

Généré par PluXml en 0.018s  - Administration

Mes coordonnées

Marc Guillaume
contact[at]yakati.info
79150 ÉTUSSON

Crédits

Pour la gestion du contenu

Généré par PluXml, le Blog ou Cms sans base de données

Pour le contenu

Licence Creative Commons
Ce(tte) œuvre est mise à disposition selon les termes de la Licence Creative Commons Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International.

Pour le thème

Thème SOLID de blacktie.co adapté pour PluXml