Bonsoir,
Je crois que je commence à perdre le tête …
Je m'explique, j'étais en train de tester des options dans les préférences de Terminator et Terminix et j'ai coché une option "masquer les onglets" ou quelque chose comme cela.
Mais sans les onglets je suis un peut perdu et j'aimerais les afficher.
Sauf que je ne trouve plus du tout où est cette foutue option.
Quelqu'un le saurait il SVP ?
remarque : il me semble que cette option était dans les préférences de Terminator, or quand j'ai coché cette option, les onglets de Terminix ont aussi disparu. Mais pas ceux de Gnome Terminal …
Par avance merci !
PS : je suis sous Fedora 24
# Config.
Posté par deuzene (site web personnel) . Évalué à 1.
Je ne connais ni Terminator ni Terminix, mais si tu commençais par là :
https://doc.ubuntu-fr.org/terminator#configuration
« Il vaut mieux mobiliser son intelligence sur des conneries que mobiliser sa connerie sur des choses intelligentes. »
[^] # Re: Config.
Posté par Skilgannon . Évalué à 1. Dernière modification le 16 janvier 2017 à 23:14.
Merci pour ta réponse et meaculpa.
Je viens encore une fois de retomber dans le travers de m’énerver et du coups n'être capable de voir ce qui est devant moi …
J'avais la même impression que quand on ne ce souvient plus où on a mis un objet que l'on tenait en main 10 min avant … Grrrr…
Bref, quand on lit tranquillement le man de terminator_config (et pas seulement celle de terminator par ailleurs (1) ) :
on peut lire :
Et quand on cherche dans les préférences globales : Position de l'onglet \o/
PS : sauf que j'étais sure d'avoir cocher une case "caché les onglets", mais bon
(1) Pourquoi avoir fait 2 man ? Une partie config dans le man de terminator m'eut été plus logique !
(2) Non sans dec … || Je confirme !
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.