top of page

Changer de Shell

Dernière mise à jour : 1 mai 2018

1. D'abord, c'est quoi un shell ?


C'est l'interpréteur de commandes qui est l'interface entre l'utilisateur et le système d'exploitation.

Le shell est ainsi chargé de faire l'intermédiaire grâce aux lignes de commandes saisies par ce dernier.

Son rôle consiste ainsi à lire la ligne de commande, interpréter sa signification, exécuter la commande, puis retourner le résultat sur les sorties.


2. Liste de quelques shells :


- bash : Bourne Again SHell

- zsh : Zero SHell

- fish : Friendly Interactive SHell

- ...


3. Changer de shell (exemple avec zsh)


- Installer le shell

sudo pacman -S zsh


- Changer de shell

chsh -s /bin/zsh


4. zsh est bien plus pratique que bash :


- Une complétion des commandes très largement au dessus des possibilités de Bash.

- Remplacement d’une partie des chemins.

- Prompt à gauche et à droite qui disparaît si l’espace devient manquant.

- Correction d’erreur lors de la frappe d’une commande.

- Globbing étendu.

- Edition interactive de variable d’environnement.

- Historique intelligent qui ne propose que ce qui correspond à ce que vous avez commencé à taper.

- Historique partagé entre les consoles.

- ...

Sources :

Morpheus.


50 vues0 commentaire

Posts récents

Voir tout
bottom of page