L’émulateur de terminal fait partie intégrante d’un système Linux, et de nombreux utilisateurs aiment changer son thème pour une présentation personnalisée. Les utilisateurs préfèrent un changement rapide au sein de leur distribution Linux. En quelques manipulations, vous pouvez modifier l’apparence complète de la fenêtre du terminal.
Puisque vous passez la plupart de votre temps dans le terminal, pourquoi ne pas lui donner l’apparence que vous préférez ? L’interface utilisateur graphique (GUI) n’a pas besoin de commandes spéciales pour être personnalisée, et un guide de référence rapide comme celui-ci devrait vous être utile.
Dans ce tutoriel, retrouvez toutes les configurations, préférences à appliquer pour personnaliser votre terminal Linux.
Ces personnalisations du terminal Linux s’appliquent pour Ubuntu 22.04 LTS, Debian, Mint, Fedora et la plupart des distributions Linux.
Table des matières
- 1 Comment personnaliser son terminal Linux
- 1.1 Personnaliser le prompt du terminal avec la variable PS1
- 1.2 Utiliser des profils de terminal distincts pour votre personnalisation
- 1.3 Utiliser un thème de terminal sombre/clair
- 1.4 Modifier la police et la taille et apparence des textes
- 1.5 Modifier la palette de couleurs et la transparence
- 1.6 Modifier la palette de couleurs du terminal en fonction du fond d’écran
- 2 Liens
Comment personnaliser son terminal Linux
Personnaliser le prompt du terminal avec la variable PS1
La variable PS1 contient toute la configuration requise pour l’invite bash. Expliquons d’abord ce que les caractères de cette variable indiquent.
Voici la liste des caractères que vous pouvez utiliser avec la variable PS1.
Caractère | Description |
\d | La date au format jour-mois-date |
\e | Modifier les couleurs |
\a | Le caractère d’échappement |
\h | Le nom d’hôte de l’utilisateur actuel jusqu’à ‘.’ |
\H | Le nom d’hôte de l’utilisateur actuel |
\l | Nom de base du terminal |
\j | Nombre de tâches exécutées par l’interpréteur de commandes |
\r | Retour chariot |
\n | Une nouvelle ligne |
\u | Nom d’utilisateur de l’utilisateur actuel |
\v | Version Bash |
\! | Imprimer le numéro d’historique de la commande en cours d’exécution |
Vous pouvez également visualiser la configuration de la variable PS1 en utilisant la commande echo :
echo $PS1
Ensuite, il est possible de modifier la variable du prompt à tout moment, par exemple :
PS1='\d--\u@\h:\w\$ '
Voici les codes pour les couleurs de textes :
- 0 pour le texte normal, 1 pour le gras, 3 pour l’italique et 4 pour le souligné
- Gamme de couleurs pour les couleurs d’arrière-plan : 40-47
- Gamme de couleurs pour la couleur du texte : 30-37
PS1='\e[1;1;31m[\u@\h:\w\a\$]'
Pour modifier la variable PS1 de manière définitive, il faut éditer le fichier .bashrc :
vi ~/.bashrc
Par exemple pour afficher l’heure dans le prompt du Terminal Linux :
PS1='\A\u: \w\$ '
Utiliser des profils de terminal distincts pour votre personnalisation
Le terminal fournit dans la plupart des distributions Linux telles qu’Ubuntu, Debian, Mint, etc est personnalisable à travers un menu de préférences.
Je vous conseille de créer un nouveau profil pour votre personnalisation.
De cette façon, vos modifications n’auront pas d’impact sur le profil principal du terminal.
- Cliquez en haut à droite sur l’icône avec trois traits
- Puis Préférences
- Puis cliquez sur le bouton + à droite de Profils
- Nommez le profil et cliquez sur Créer
- Vous pouvez alors modifier les préférences dans ce dernier
- Si vous définissez plusieurs profils, le terminal appliquera le profil par défaut. Cliquez dessus depuis la liste pour définir le profil par défaut.
Utiliser un thème de terminal sombre/clair
Vous pouvez changer le thème du système et le thème du terminal sera modifié. En outre, si vous ne souhaitez pas modifier le thème du système, vous pouvez basculer entre le thème sombre et le thème clair.
Une fois dans les préférences, vous remarquerez les options générales permettant de modifier le thème et d’autres paramètres.
Modifier la police et la taille et apparence des textes
Sélectionnez le profil que vous souhaitez personnaliser. Vous avez maintenant la possibilité de personnaliser l’apparence du texte, la taille de la police, le style de police, l’espacement, la forme du curseur et d’activer le son de la cloche du terminal.
Pour modifier la police du terminal, vous ne pouvez utiliser que celle qui est disponible sur votre système. Si vous voulez quelque chose de différent, téléchargez et installez d’abord la police sur votre système Linux.
Modifier la palette de couleurs et la transparence
Outre le texte et l’espacement, vous pouvez accéder à l’onglet Couleurs et modifier la couleur du texte et de l’arrière-plan de votre terminal. Vous pouvez également ajuster la transparence pour donner un aspect encore plus froid.
Comme vous pouvez le constater, vous pouvez modifier la palette de couleurs à partir d’un ensemble d’options préconfigurées ou la modifier vous-même.
Modifier la palette de couleurs du terminal en fonction du fond d’écran
Pywal, un outil basé sur Python, vous aide à changer l’arrière-plan du terminal et la couleur de la police, en particulier si vous n’êtes pas sûr de la palette de couleurs à utiliser. Cet outil change automatiquement la couleur de l’écran de votre terminal, en fonction du fond d’écran ou d’une image.
Pour installer Python et ImageMagick :
sudo apt install python3-pip imagemagick
Puis installez Pywal via pip3 :
sudo pip3 install pywal
Pour modifier les couleurs, tapez la commande wal avec l’emplacement de votre fichier de fond d’écran en entrée :
wal -i /chemin/vers/fichier_de_papier_peint
Par exemple, sur Ubuntu, les fonds d’écran se trouvent dans /usr/share/backgrounds :
wal -i /usr/share/backgrounds/warty-final-ubuntu.png
Voici quelques exemples de colorisations automatique du terminal Linux en fonction de votre arrière plan.
Liens
- 22 raccourcis de terminal Linux à connaître
- Qu’est-ce qu’un terminal, un shell et une console et les différences
- 5 façons d’ouvrir un terminal sur Ubuntu
- Personnaliser l’invite (prompt) du terminal Linux
- Personnaliser son terminal Linux
- Qu’est-ce que tty et comment utiliser la commande tty sur Linux
- Qu’est-ce que le fichier .bashrc, .bash_profile et .profile et les différences sous Linux