GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Comment changer l'invite du terminal en quelque chose de simple ??

Cette question a déjà des réponses ici :Fermé il y a 10 ans.

Duplication possible :
Masquer le répertoire de travail actuel dans le terminal

Lorsque j'ouvre un terminal, il affiche quelque chose comme [email protected]:~$ ou [email protected]:~/Desktop$ . Je ne veux pas du [email protected] se montrer. Cela peut-il être modifié pour afficher uniquement l'heure ou quelque chose de simple comme une invite DOS ?

Réponse acceptée :

Vous pourriez mettre PS1='\w> ' dans votre ~/.bashrc .

Cela ressemblera à ceci :

~> 

lorsque vous êtes dans votre répertoire personnel, et

/usr/bin> 

lorsque vous êtes dans /usr/bin .

Vous pouvez avoir quatre formats d'heure différents :

  • \t – 24 heures sur 24 HH:MM:SS
  • \T – 12 heures HH:MM:SS
  • \A – 24 heures HH:MM (c'est-à-dire pas de secondes)
  • \@ – 12 heures HH:MM

donc par exemple :

PS1='\A \w> '

vous donnerait quelque chose comme :

10:14 ~>

Voir Contrôle de l'invite pour une liste de toutes les différentes séquences de barres obliques inverses que vous pouvez utiliser.

Si vous ne trouvez pas celui que vous aimez, vous pouvez également ajouter la sortie de n'importe quelle commande à votre invite, par exemple

PS1='$(date +"%H:%M") $(echo $PWD)> '

ferait essentiellement la même chose que ci-dessus, mais en utilisant des commandes plutôt que des séquences de barres obliques inverses.

Enfin, notez que les guillemets et les espaces sont importants. Le moyen le plus simple d'obtenir PS1='\A \w> ' car votre invite est d'exécuter ceci :

echo "PS1='\A \w> '" >> ~/.bashrc

Ubuntu
  1. Comment changer la couleur de votre terminal Linux

  2. Personnaliser le Terminal sur Ubuntu 20.04 - comment faire ?

  3. Comment changer le nom d'hôte sur Ubuntu ?

  4. Comment changer la langue via un terminal ?

  5. Comment changer la taille de la police du terminal dans Ubuntu

Comment changer le thème Ubuntu

Comment changer l'adresse IP dans Ubuntu

Comment changer la résolution d'écran via le terminal Ubuntu

Comment changer le nom d'hôte sur Ubuntu 20.04 LTS

Comment changer le terminal par défaut dans Ubuntu

Comment changer le mot de passe root dans Ubuntu