après avoir redémarré mon système pour certaines mises à jour, mon Terminator a cessé d'afficher les barres d'outils système ... Quelqu'un sait pourquoi?
Solution graphique:
Cliquez avec le bouton droit n'importe où dans la fenêtre Terminator et sélectionnez Préférences .
Cochez l'option Bordures de fenêtre et redémarrez Terminator.
La solution pour moi consistait à éditer ~/.config/terminator/config et à commenter la ligne
borderless = True
Si vous avez paramétré votre clic droit pour coller du contenu dans le terminal Terminator, vous devrez double-cliquer sur le bouton du milieu (bouton de défilement) de la souris pour ouvrir les préférences. Sinon, appuyez sur le bouton d'options de votre clavier placé quelque part près de vos boutons droit-ctrl ou alt correct (varie en fonction des marques d'ordinateurs portables).
Pour moi, "borderless = True" ne faisait aucune différence, car j'avais des fichiers de configuration de terminateur qui écrasaient le fichier de configuration standard: "~/.config/terminator/config
Il suffit d'appuyer sur CTRL + a fait le tour pour moi. Il a réactivé la barre supérieure!
Ceci est mon terminator-keybinding personnel pour Group/Ungroup tous les terminaux (group_all_toggle).
Essaie! ;)