Personnaliser votre bash avec bashrcgenerator !
I. Présentation
Il y a maintenant quelques temps, je vous présentais la manière dont il est possible de personnaliser son shell sous Linux. La procédure exposée était une procédure manuelle et il pouvait être difficile d'arriver au résultat souhaité. C'est pour nous faciliter la tâche qu'a été créer le site web http://bashrcgenerator.com/ !
Ce site web permet en effet de générer notre bashrc personnalisé très facilement et de façon visuelle et interactive. Une chaîne de caractère est ensuite générée et il n'y a qu'à copier coller au bon endroit pour valider la configuration faite.
II. Utilisation de bashrcgenerator
Voici à quoi ressemble l'interface web :
On peut donc, grâce au tableau "Available elements" piocher les éléments que nous souhaitons voir dans notre bash et les glisser dans la section "Your Selection" :
Il est ensuite possible, pour chaque élément, de modifier sa place et sa couleur :
On pourra ensuite trouver le rendu dans la partie "Preview" :
Maintenant que votre PS1 (variable d'environnement définissant la structure du bash) est générée, il faut se rendre dans votre fichier .bashrc avec un éditeur de texte :
vim ~/.bashrc
Commentez les lignes commençant par "PS1" et remplacez les par la valeur proposée par le site web bashrcgenerator. Pensez bien à ne prendre que ce qu'il y à partir de "PS1"dans la chaîne proposée. Voici un exemple :
Voici le mien :
Mais les possibilités sont infinies et beaucoup plus facile à atteindre grâce à ce petit site très utile !
Sympa !
Pour ma part je suis passé à zsh couplé à Oh My Zsh qui permet l’utilisation de thèmes, de nombreux exemples sont disponibles directement par là : https://github.com/robbyrussell/oh-my-zsh/wiki/Themes
C’est génial comme astuce. Merci pour les tutoriels, je pense que c’est plus rapide comme outil.