zwiększyć wypełnienie w terminalu gnomów


41

Chciałbym zwiększyć wypełnienie w terminalu gnomów, ponieważ domyślnie nie ma wypełnienia i boli mnie oczy.

(Wypełnienie jak w: Chcę spacji między ramką okna a miejscem, w którym wyświetlany jest tekst / wyjście.)

Na przykład:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

Odpowiedzi:


34

Edytowano 02 czerwca 2018 r .: Począwszy od Ubuntu 18.04, musisz dodać jeszcze jeden selektor elementów, aby to działało.


Paul miał w większości rację. To rozszerzone rozwiązanie działa od wersji Ubuntu 14.04.1 z GNOME Terminal 3.6.2 .

Dla wszystkich wersji:

  1. Dodaj następujący kod do ~/.config/gtk-3.0/gtk.css:

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

    Edycja: Musisz utworzyć plik, jeśli jeszcze nie istnieje (dzięki jonS90).

  2. Zabij wszystkie instancje gnome-terminal:

    $ killall gnome-terminal
    
  3. Uruchom ponownie terminal gnome.


2
Podany plik gtk.css nie istniał w moim systemie. Musiałem go stworzyć (i wtedy rozwiązanie zadziałało).
jonS90

Działa to również doskonale w panteonie-terminalu (elementary OS Loki).
Wisznu M.

2
Jeśli masz problem z zapamiętywaniem, jak te liczby odnoszą się do krawędzi, to u góry po prawej u dołu po lewej stronie.
Terry Brown,

1
@TerryBrown TRouBLe to dobry sposób. Innym jest myślenie o postępach rąk na zegarze analogowym: 12-3-6-9 (góra, prawo, dół, lewo).
WinEunuuchs2Unix,

9

Próbowałem wszystkich odpowiedzi tutaj na Ubuntu 16.10 z gnome-terminal 3.20.2 i nie działały. W tym wątku startowym znalazłem aktualne rozwiązanie . W pliku ~/.config/gtk-3.0/gtk.css(który może być konieczne utworzenie) dodaj:

vte-terminal {
    padding: 10px;
}

Mogę potwierdzić, że działa to również w przypadku Ubuntu 17.04.
Alp Dener

Działa w 17.10.
blockloop

Czy mogę utworzyć plik gtk.css, aby mieć tylko 3 linie? Lub jak mogę utworzyć domyślny?
Robin Hsu

@RobinHsu, jeśli plik istnieje, dodaj go na końcu. Jeśli nie, utwórz go i dodaj tylko.
phrz

To nie działa na Ubuntu 18.04.
Alexandre Verri


3

Proszę przejść przez ten problem - Unity Terminal 16.04

Komentarz do Listy życzeń opisuje bardzo właściwe rozwiązania dla terminali Ubuntu 16.04, w których musimy zmienić plik ~/.config/gtk-3.0/gtk.css:

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

DO

VteTerminal {
    padding: 10px;
}

paddingdziała tak samo jak normalny CSS padding.


To nie działa na Ubuntu 18.04.
Alexandre Verri

2

W dawnych czasach istniały X Zasoby . Tworząc plik .Xdefaultslub .Xresourcesw swoim katalogu domowym, możesz zmienić wszelkiego rodzaju ustawienia aplikacji graficznych.

Systemowej domyślnie na moim pudełku znajdują się /etc/X11/Xresourcesi /etc/X11/app-defaultsale nie wiem, czy gnome-terminal dba o każdy z nich.

Edycja : wydaje się to także „działem tematycznym”, więc edycja plików motywu lub uruchomienie gnome-terminalu z .gtkrcplikiem niestandardowym może załatwić sprawę, coś w rodzaju

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

w terminalu lub edytuj powyższy gnome-terminal.destktop

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

powinno działać.


2

Możesz to zrobić z niektórymi terminalami, na przykład starym Xterm

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

W instrukcji man xtermznajdziesz sposób ustawiania czcionek, kolorów pierwszego planu i tła. Może trochę trudny do skonfigurowania, ale bardzo elastyczny.


1

Nie mogłem znaleźć parametru wypełniania w edytorze gconf lub dconf. Przeprowadziłem wyszukiwanie „terminala” w Centrum oprogramowania i znalazłem szereg aplikacji terminalowych. Gnome ułatwił określenie różnych aplikacji terminalowych, ale sprawy się nieco zmieniły. /usr/share/applications/gnome-terminal.desktop to miejsce, w którym określona jest aplikacja terminalowa do uruchomienia. Otwórz ten plik, a znajdziesz:

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

Exec = terminal gnome można zmienić, aby wybrać inną aplikację terminala. Edycja tego pliku jest trochę skomplikowana, ponieważ ich typ MIME nie jest rozpoznawany przez naultilus jako edytowalny. Musisz zainicjować edycję z wiersza poleceń w następujący sposób:

sudo gedit /usr/share/applications/gnome-terminal.desktop

Po dokonaniu tej zmiany aplikacja terminalowa może zostać zainicjowana tak samo jak poprzednio, ale zostanie uruchomiona alternatywna aplikacja terminalowa.


1

Alternatywnie skorzystałem z obejścia, w którym zmieniasz parametr motywu (metacity 2) left_widthna 15lub 20piksele.

Powoduje to, że ramka okna jest gruba po lewej stronie i przesuwa efektywny lewy margines wewnątrz okna. Dla mnie to działa dobrze, ponieważ kolor obramowania okna i kolor tła terminala są blisko.

Zbadałem to dokładnie i jedynym innym sposobem na to jest przejście do xtermterminala, jak wspomniano powyżej. Jednak konfiguracja xterm jest uciążliwa i musi zostać wykonana za pomocą .Xresourcespliku konfiguracyjnego, w Xterm nie ma menu.

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.