Comment changer l’invite du terminal dans Ubuntu ?

Contenus de la page

Modifier l’invite du terminal dans Ubuntu

Changer l’invite de commande dans le terminal Ubuntu est une excellente façon de personnaliser votre environnement de travail. Cela peut améliorer l’expérience utilisateur, rendre l’interface plus agréable visuellement, et même permettre de mieux organiser l’information affichée selon vos préférences.

Comment accéder au terminal sous Ubuntu ?

Pour commencer, ouvrez le terminal, qui est l’outil que vous utiliserez pour effectuer les modifications. Vous pouvez le faire de plusieurs manières :

Utiliser le Dash : Cliquez sur l’icône Ubuntu en haut à gauche de votre écran, tapez « terminal », puis sélectionnez l’application Terminal dans les résultats affinés.
Raccourci clavier : Appuyez simultanément sur les touches Ctrl + Alt + T pour ouvrir une nouvelle fenêtre de terminal rapidement.

Modification de l’invite de commande

Une fois le terminal ouvert, il vous faut accéder au fichier de configuration de votre shell, généralement nommé .bashrc pour les utilisateurs de Bash, qui est le shell par défaut sur Ubuntu.

Dans votre terminal, naviguez vers votre répertoire personnel en tapant la commande suivante : cd ~.
Ouvrez le fichier .bashrc avec un éditeur de texte. Par exemple, vous pouvez utiliser Nano en tapant : nano .bashrc.
Dans ce fichier, localisez la ligne contenant la variable PS1, qui détermine l’apparence de l’invite.
Vous pouvez personnaliser cette ligne en ajoutant des éléments comme le nom d’utilisateur, le nom d’hôte et la couleur. Par exemple, pour une invite colorée, vous pourriez substituer le contenu de PS1 par quelque chose comme : PS1='[e[1;32m]u@h:[e[m][e[34m]w[e[m]$ '.
Une fois vos modifications effectuées, enregistrez le fichier en appuyant sur Ctrl + X, puis Y pour confirmer, et enfin Entrée pour quitter.
Pour que les modifications prennent effet dans la session active, vous devez recharger le fichier de configuration en saisissant la commande : source .bashrc.

Personnalisation des couleurs et du style

Pour ajouter une touche de couleur à votre invite, il est essentiel de comprendre les codes de couleur. Les séquences de texte que vous pouvez utiliser précèdent les éléments que vous voulez coloriser. Voici comment faire:

Identifiez les codes de couleur que vous voulez appliquer. Par exemple, 31 pour rouge, 32 pour vert, et 34 pour bleu. Des codes spéciaux existent aussi pour le texte gras et clignotant.
Lorsque vous définissez votre variable PS1, utilisez la syntaxe suivante : [e[ColorCode m]Texte à afficher[e[m]. Par exemple, si vous souhaitez que votre nom d’utilisateur soit en vert, vous écririez : [e[32m]u[e[m].
Testez les changements en sauvegardant et en rechargeant le fichier .bashrc comme décrit précédemment.

A lire : Qu'est-ce qu'une table de partition sous Linux ?

Édition des préférences du terminal

Outre la personnalisation par le biais du fichier de configuration, Ubuntu permet également d’ajuster les préférences du terminal via son interface graphique:

Ouvrez le terminal.
Cliquez avec le bouton droit dans la fenêtre du terminal et sélectionnez Préférences de profil.
Dans l’onglet Couleurs, vous pourrez sélectionner des couleurs de texte et d’arrière-plan selon vos goûts. Cette méthode est simple pour ceux qui préfèrent éviter le codage.
Ajustez d’autres aspects visuels comme l’opacité et la variation des polices selon vos préférences.

FAQ

Comment revenir à l’invite par défaut ?

Si vous souhaitez annuler vos modifications et revenir à l’invite par défaut, il suffit de restaurer le contenu original de la variable PS1 dans le fichier .bashrc et de recharger le fichier.

Peut-on ajouter des images ou des emojis à l’invite ?

Par défaut, il n’est pas possible d’ajouter des images ou des emojis directement à l’invite de commande dans le terminal Ubuntu, car celui-ci ne prend en charge que des caractères texte.

Les modifications s’appliquent-elles à tous les utilisateurs de la machine ?

Non, les modifications apportées au fichier .bashrc ne s’appliquent qu’à l’utilisateur actuel. Pour des changements globaux, il faut modifier le fichier /etc/bash.bashrc, qui affecte tous les utilisateurs.