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)
.bashrc
Doit bien y avoir un cookie qui traîne, c'est votre droit de ne pas en vouloir (par ailleurs j'utilise Matomo avec Do not track activé).