Pour renommer un onglet pendant une session de terminal, il suffit de faire un clic droit sur l'onglet en question et de choisir l'option
Renommer un onglet. En sélectionnant cette option dans le menu contextuel, le titre de l'onglet se transforme en un champ de texte éditable où vous pouvez apporter les modifications souhaitées au titre.
Si vous désirez fixer le titre de l'onglet pour ce profil à chaque instance de terminal, vous pouvez également le faire.
Renommer un onglet. En sélectionnant cette option dans le menu contextuel, le titre de l'onglet se transforme en un champ de texte éditable où vous pouvez apporter les modifications souhaitées au titre.
Si vous désirez fixer le titre de l'onglet pour ce profil à chaque instance de terminal, vous pouvez également le faire.
