web-dev-qa-db-fra.com

Ajouter du rembourrage au terminal Gnome

Peut-être que je viens de perdre quelque chose quelque part ou qu’il existe maintenant une classe CSS différente pour la création de rembourrage dans le terminal gnome, mais je ne parviens pas à le faire. J'ai essayé les nombreuses solutions sur cette page:

augmenter le rembourrage dans le terminal gnome

Mais aucun d'entre eux n'a fait le travail de rembourrage. La réponse la plus récente dit d'utiliser:

vte-terminal {
    padding: 10px;
}

... mais pas de joie. Y a-t-il maintenant une manière différente?

Je viens de rentrer à Ubuntu après un an d'absence et je remarque également qu'il n'y a pas d'option pour définir une image en tant qu'arrière-plan du terminal gnome, ce qui était le cas dans les préférences.

gnomegnome-terminal
3
Darren Haynes

Cela dépend de l'endroit où vous l'ajoutez dans le fichier ~/.config/gtk-3.0/gtk.css. Je suppose que votre fichier contient plus de lignes, voici un exemple de ce que j'ai fait pour que le mien ait un remplissage:

Ceci commence à la ligne 93 du fichier. 

panel-off */

VteTerminal, vte-terminal {
        padding: 10px;
}

/* menu-off

Ou vous pouvez l'ajouter tout en bas du fichier après /* End custom styles */

/* End custom styles */
VteTerminal, vte-terminal {
    padding: 10px;
}

Les lignes panel-off et menu-off étaient déjà présentes. Je viens d'ajouter mes lignes entre celles-ci car je suppose que */ et /* sont des fins et des débuts de sections du fichier.

Enregistrez votre fichier, fermez toutes les fenêtres gnome-terminal. Puis relancez.

EDIT: Réinstaller également gnome-terminal aidé.

Sudo apt install --reinstall gnome-terminal

J'espère que cela t'aides!

2
Terrance