renommer

  • Renommer les onglets dans Gnome Terminal

    Gnome Terminal

    Petite astuce pour renommer les onglets de Gnome Terminal. Alors qu'avec le Terminal XFCE c'est d'une simplicité enfantine, on clique sur l'onglet et on le renomme, dans Gnome Terminal ce n'est pas le cas. Après une micro recherche, la solution qui me convient le plus est celle proposée par Kirby  sur askubuntu (The .bashrc solution proposed by Kirby worked for me)

We use cookies

Nous utilisons des cookies sur notre site web. Certains d’entre eux sont essentiels au fonctionnement du site et d’autres nous aident à améliorer ce site et l’expérience utilisateur (cookies traceurs). Vous pouvez décider vous-même si vous autorisez ou non ces cookies. Merci de noter que, si vous les rejetez, vous risquez de ne pas pouvoir utiliser l’ensemble des fonctionnalités du site.