Ce tutoriel rapide montre comment vérifier le shell en cours d'exécution, le shell disponible dans le système et comment changer le shell par défaut sous Linux.
Vous savez probablement déjà qu'il existe plusieurs shells disponibles sur Linux et d'autres systèmes de type Unix. Bash est le shell par défaut sur presque toutes les distributions Linux, mais il existe d'autres shells populaires disponibles tels que :
- ksh
- zsh
- poisson
- csh
- tiret
Certains des shells offrent des fonctionnalités supplémentaires d'une manière plus conviviale. Prenez la coquille de poisson par exemple. Il commence partiellement à vous montrer des conseils de commande basés sur votre commande précédente. C'est très pratique si vous ne voulez pas vous souvenir constamment des raccourcis du terminal Linux.
Voyons quelques éléments autour du shell dans votre système Linux.
Comment connaître le shell par défaut ?
Pour connaître le shell par défaut défini pour vous dans votre système Linux, vous pouvez vérifier la variable d'environnement SHELL. Habituellement, le shell par défaut est bash et il se présente comme ceci :
echo $SHELL
/bin/bash
Comment voir quel shell vous utilisez actuellement ?
Il n'y a pas de méthode unique qui vous dira quel shell vous utilisez avec une précision de 100 %.
Vous pouvez essayer soit echo $0 qui vous montre une sortie comme celle-ci :
echo $0
zsh
ou vérifiez le processus en utilisant ps -p $$ comme ceci :
ps -p $$
PID TTY TIME CMD
9625 pts/0 00:00:00 zsh
Comment voir tous les shells disponibles sur votre système Linux ?
Tous les shells disponibles sur vos systèmes Linux sont listés dans le fichier /etc/shells. Vous pouvez utiliser la commande cat ou la commande less pour afficher le contenu du fichier.
# /etc/shells: valid login shells
/bin/sh
/bin/bash
/bin/rbash
/bin/dash
/usr/bin/tmux
/usr/bin/fish
/bin/zsh
/usr/bin/zsh
Comment changer de shell pour en utiliser un autre ?
Si vous souhaitez utiliser un autre shell, vous pouvez simplement taper son nom et vous serez connecté au nouveau shell. Par exemple, si vous installez zsh et souhaitez l'utiliser, vous pouvez simplement utiliser :
zsh
Vous pouvez entrer exit pour quitter le nouveau shell et revenir au précédent.
Comment changer définitivement le shell par défaut sous Linux ?
Supposons que vous aimiez beaucoup le shell Fish et que vous souhaitiez l'utiliser comme shell par défaut afin que chaque fois que vous ouvrez le terminal ou ssh dans le système, vous l'utilisiez à la place du shell bash par défaut.
Linux vous permet de changer le shell par défaut à l'aide de la commande chsh. La meilleure façon de changer le shell par défaut pour votre propre utilisateur connecté est de spécifier le nom du shell répertorié dans le fichier /etc/shells avec l'option -s.
chsh -s /usr/bin/fish
Vous devez vous déconnecter du système pour que les modifications prennent effet, sinon vous penserez que l'exécution de chsh n'a pas changé le shell.
Avez-vous remarqué que je devais spécifier le chemin complet tel qu'il était répertorié dans le fichier /etc/shells ? Si j'avais utilisé chsh -s fish, cela m'aurait donné une erreur du type "chsh:fish is an invalid shell".
Quelle coque aimez-vous ?
Maintenant que vous savez comment changer de shell, vous pouvez également lire comment changer d'utilisateur sous Linux.
J'espère que ce petit article vous a aidé à changer le shell sous Linux. Si vous avez pensé à changer le shell par défaut, vous utilisez peut-être autre chose que le shell bash. De quelle coque s'agit-il ? Pourquoi le préférez-vous aux autres ?
Partagez vos opinions dans les commentaires ci-dessous.