J'ai vu qu'il était facile de configurer le terminal pour qu'il ouvre mes onglets comme je ne les aurais pas, mais est-il possible d'avoir un profil différent attaché à chacun de ces onglets? Je créais avec bonheur un nouveau profil pour un onglet lorsque j'ai remarqué que tous les autres onglets héritaient des options :(.
J'utilise Fedora 16 avec gnome desktop.
UPDATE: Je vois que le terminateur répondrait probablement à mes besoins à cet égard. La bonne chose à faire serait-elle de supprimer cette question (comme je l’avais prématurément posée sans envisager cette option)?
Non, la bonne chose à faire serait d'y répondre vous-même (comme si vous étiez un autre utilisateur), puis acceptez-le comme une réponse en cliquant sur le contour d'une coche en regard de la réponse.
—
Kevin M