l’ordinateur
  1. l’ordinateur
  3. Gnome: Modifiez le titre du terminal actuel de la ligne de commande bash
Intereting Posts
Remapping Keys pour Mac Comment puis-je supprimer un dossier imbriqué assez profondément et éviter "Nom du fichier trop long"? Le pointeur de la souris dans ma VM Ubuntu s'est transformé en une petite main avec un document, et les clics sont ignorés. Comment puis-je sortir de ce mode? Comment puis-je ouvrir des documents Excel dans différentes fenêtres? Impossible d'accéder à une clé de registre particulière Google Chrome remplit automatiquement une recherche précédente lorsque google.com charge Comment puis-je utiliser mon ATI Radeon intégré au lieu de Intel HD Graphics pour OpenGL? Skype – Impossible de recevoir des messages de groupe Sauver Windows XP après avoir formé le disque de démarrage Comment utiliser Dropbox avec Truecrypt? Vidéo YouTube Arrêts Puis-je mettre / tmp et / var / log dans un disque ramdisk sur OS X? Partagez l'intégralité du répertoire personnel entre hôte et invité avec Virtual Box Mac: Comment se connecter en tant qu'utilisateur différent lorsque Mac nécessite un mot de passe pour se réveiller depuis le sommeil? Est-il possible de formater les fenêtres principales sur Dual Boot?

Gnome: Modifiez le titre du terminal actuel de la ligne de commande bash

Je sais qu'il existe des options pour démarrer un nouveau terminal avec un titre spécifié, et c'est possible de changer le titre d'un terminal à l'aide du menu: 'Terminal' -> Définir le titre.

Cependant, je veux le changer pour un terminal actuel de la ligne de commande. Comment puis-je modifier le titre d'un terminal Gnome existant depuis la ligne de commande?

Sortez une séquence d'échappement xterm appropriée. 

echo -ne '\033]0;New title\007'

Voir aussi Comment changer le titre d'un xterm .

Si vous devez le configurer sur le nom d'hôte où vous êtes connecté, vous pouvez utiliser: 

  Echo -ne "\ 033] 0; $ {HOSTNAME} \ 007"

Il pourrait être utile d'essayer KDE. Il a des fenêtres de terminal à onglets, et chaque onglet peut être nommé simplement en cliquant avec le bouton droit de la souris sur l'onglet.