Un blog… Mon blog !

Études - Amis - Passions - Informatique >> un peu de tout !

10  02 2008

Personnaliser son terminal

Qu’est-ce que ça peut être triste parfois un terminal… Tout est en noir en blanc, on a parfois du mal à distinguer les résultats des différentes commandes tapées précédemment car tout est trop compact… Ne vous inquiétez pas, il y a possibilité de votre terminal rendre plus sympa en y mettant de la couleur !

Commençons pas le prompt, il s’agit de l’invite de commande qui généralement se présente de cette façon :

login@host chemin $

Pour le colorier, il vous faut modifier un fichier de configuration de bash.
Voici les instructions à suivre :

cd ~
gedit .bashrc

Ensuite trouvez les lignes suivantes :

# Comment in the above and uncomment this below for a color prompt
# PS1='${debian_chroot:+($debian_chroot)}\ ..........

Afin de pouvoir afficher les couleurs, il vous suffit de décommenter la deuxième ligne, comme ceci :

# Comment in the above and uncomment this below for a color prompt
PS1='${debian_chroot:+($debian_chroot)}\ ..........

Vous venez donc de modifier le fichier de configuration, afin d’obtenir le résultat voulu vous devez actualiser la configuration avec cette commande :

source .bashrc

ou en ouvrant un nouveau terminal.

Voici donc une première étape de franchie. Pour continuer, la personnalisation de votre terminal vous allez vous rendre dans les onglets du menu de celui-ci. Rendez-vous dans le menu “Édition > Profil actuel…”.

Profil Terminal Gnome

C’est ici que vous allez pouvoir personnaliser une grande partie des paramètres de votre terminal. Ici vous aurez surtout besoin des onglets “Couleurs” et “Effets” pour rendre plus sympa votre terminal. Néansmoins, vous pourrez également changer la police de caractères ou toutes autres options que vous trouvez sympa :)

Terminal Couleurs

Dans l’onglet couleurs, vous pourrez choisir la couleur de votre texte et la couleur d’arrière plan. Si vous décochez “Utiliser les couleurs du thème système”, vous pouvez choisir entre les palettes prédéfinies, ou choisir vos propres couleurs.
Vous pouvez ensuite choisir une palette de couleurs qui sera utilisé lors de certaines commandes si l’option couleur est demandée.

Terminal Effets

Dans l’onglet effets, vous allez personnaliser l’arrière plan de votre terminal. Vous avez le choix d’en mettre aucun, de choisir une image, ou même de le rendre transparent !

Voilà quelques idées qui vont rendre votre terminal un peu plus “enjoy” ;)


Une Réponse pour “Personnaliser son terminal”

  1. Héhé, c’est cool ça !
    Maintenent je vais pouvoir personnaliser mes nunux ! (ubuntu 7.10 + fedora 8).
    Now I love more my konsole ! ^^

Écrire un commentaire

« Scoutisme Laguna Coupé Concept Car »