Magazine
Spécialité(s)
Résumé
Le shell est la base du système Linux. Comme son nom l'indique, c'est la coquille qui entoure le noyau et, à travers lui, de nombreuses opérations sont menées à bien. Il est donc essentiel de bien le configurer pour l'utiliser au maximum de ses possibilités.
Il existe de nombreux shells, mais tous possèdent la même architecture de fonctionnement basée sur le chargement de divers fichiers de configuration lors de leur démarrage. Dans cet article, nous verrons comment configurer un shell en commençant par des rappels sur les fichiers de configuration et quelques instructions de configuration simples, puis nous aborderons surtout la configuration de touches de raccourcis internes et externes au shell avec inputrc et XBindKeys.
1. Les fichiers de démarrage du shell
À son démarrage, le shell utilise une suite de fichiers qui peuvent être modifiés pour obtenir une configuration personnalisée. Voici, dans l'ordre, la liste des fichiers qui sont lus (je me baserai sur un shell bash) :
/etc/profile : ce fichier de script sert…
La suite est réservée aux abonnés. Il vous reste 93% à découvrir.
Déjà abonné ? Se connecter
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première
Envie de lire la suite ? Rejoignez Connect
Je m'abonne maintenant