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 essentiellement à définir les variables d'environnement. Il va exécuter tous les fichiers de script d'extension .sh contenus dans le répertoire /etc/profile.d/. Dans le cas du shell bash, un autre fichier de...
- 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