Chapitre 4. Configurer le shell

Table des matières
1. Qu'est-ce qu'un shell ?
2. Installer et configurer zsh
2.1. Installer le package et les fichiers de configuration
2.2. Configurer le proxy
2.3. Changer de Shell
2.4. Shell par défaut pour les nouveaux utilisateurs
2.5. Qu'est-ce que le PATH ?

1. Qu'est-ce qu'un shell ?

Le shell est ce qui s'exécute quand vous vous logguez. C'est lui qui vous présente le prompt, qui envoie vos commandes au système, qui enregistre certaines variables. Il est encore là quand vous vous délogguez.

Vous avez un vaste choix de shells différents. Le shell par défaut sous Linux s'appelle bash. Mais il existe aussi csh, tcsh, zsh, sash, etc...

Je vais vous proposer d'installer le shell zsh, de télécharger des fichiers de configuration et ensuite de passer de bash à zsh.

2. Installer et configurer zsh

2.1. Installer le package et les fichiers de configuration

Pour l'instant, vous ne savez pas encore installer des packages. Je vous propose donc de taper sans comprendre la commande suivant en root :


# apt-get install zsh

Remplacez les fichiers de configuration par défaut par mes fichiers de configuration :


# cd ~/config
# cp zshrc zshenv zlogin zlogout dir_colors /etc/ 

ou, si vous ne suivez pas ma formation depuis le début :


% wget http://people.via.ecp.fr/~alexis/formation-linux/config/zshrc
% wget http://people.via.ecp.fr/~alexis/formation-linux/config/zshenv
% wget http://people.via.ecp.fr/~alexis/formation-linux/config/zlogin
% wget http://people.via.ecp.fr/~alexis/formation-linux/config/zlogout
% wget http://people.via.ecp.fr/~alexis/formation-linux/config/dir_colors
# mv zshrc zshenv zlogin zlogout dir_colors /etc/

2.2. Configurer le proxy

Si vous devez passer par un proxy pour accéder à Internet, au lieu de taper à chaque fois export http_proxy=..., vous allez éditer en root le fichier /etc/zshenv puis décommenter et personnaliser les lignes adéquates :

Enregistrez et quittez.