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" |
| |
| |
| |
====================================================
command-line
gui
gnome-terminal
Aaron Yodaiken
źródło
źródło
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:źródło
Aby przenieść dane wyjściowe terminala poza granice okna, utwórz arkusz stylów ~ / .config / gtk-3.0 / gtk.css z następującymi ustawieniami:
https://bbs.archlinux.org/viewtopic.php?id=163964
źródło
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
:DO
padding
działa tak samo jak normalny CSSpadding
.źródło
W dawnych czasach istniały X Zasoby . Tworząc plik
.Xdefaults
lub.Xresources
w swoim katalogu domowym, możesz zmienić wszelkiego rodzaju ustawienia aplikacji graficznych.Systemowej domyślnie na moim pudełku znajdują się
/etc/X11/Xresources
i/etc/X11/app-defaults
ale 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
.gtkrc
plikiem niestandardowym może załatwić sprawę, coś w rodzajuw terminalu lub edytuj powyższy gnome-terminal.destktop
powinno działać.
źródło
Możesz to zrobić z niektórymi terminalami, na przykład starym Xterm
W instrukcji
man xterm
znajdziesz sposób ustawiania czcionek, kolorów pierwszego planu i tła. Może trochę trudny do skonfigurowania, ale bardzo elastyczny.źródło
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:
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:
Po dokonaniu tej zmiany aplikacja terminalowa może zostać zainicjowana tak samo jak poprzednio, ale zostanie uruchomiona alternatywna aplikacja terminalowa.
źródło
Alternatywnie skorzystałem z obejścia, w którym zmieniasz parametr motywu (metacity 2)
left_width
na15
lub20
piksele.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
xterm
terminala, jak wspomniano powyżej. Jednak konfiguracja xterm jest uciążliwa i musi zostać wykonana za pomocą.Xresources
pliku konfiguracyjnego, w Xterm nie ma menu.źródło