Adicionar preenchimento ao terminal do Gnome

Question

Talvez eu tenha estragado algo em algum lugar ou agora exista uma classe CSS diferente para criar padding no terminal do gnome, mas não consigo colocá-lo no pad. Eu tentei as numerosas soluções nesta página:

aumente o preenchimento no terminal do gnome

Mas nenhum deles fez o trabalho de preenchimento. A resposta mais recente diz para usar:

vte-terminal {
    padding: 10px;
}

... mas sem alegria. Existe agora uma maneira diferente?

Acabei de voltar ao Ubuntu depois de um ano, e também noto que não há opção para definir uma imagem como o segundo plano para o terminal do gnome, que costumava ser nas preferências.

    

Answer 1

Tem a ver com onde você adiciona isso no arquivo ~/.config/gtk-3.0/gtk.css . Eu estou supondo que o seu arquivo tem mais linhas, aqui está um exemplo do que eu fiz, então o meu tem preenchimento:

Isso começa na linha 93 do arquivo.

panel-off */

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

/* menu-off

Ou você pode adicioná-lo na parte inferior do arquivo depois de /* End custom styles */

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

As linhas panel-off e menu-off já estavam lá. Acabei de adicionar minhas linhas entre elas porque estou assumindo que */ e /* são fins e começos de seções no arquivo.

Salve seu arquivo, feche todas as janelas do gnome-terminal. Então reinicie.

EDITAR: Também a reinstalação do gnome-terminal ajudou.

sudo apt install --reinstall gnome-terminal

Espero que isso ajude!