увеличить отступ в терминале гнома


41

Я бы хотел увеличить отступы в терминале gnome, потому что по умолчанию нет отступов и вредит моим глазам.

(Заполнение как в: я хочу пространство между границей окна и где отображается ввод / вывод текста.)

Например:

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

Ответы:


34

Отредактировано 02 июня 2018: Начиная с Ubuntu 18.04, вам нужно добавить еще один селектор элементов, чтобы это работало.


Пол был в основном прав. Это расширенное решение работает с Ubuntu 14.04.1 с GNOME Terminal 3.6.2 .

Для всех версий:

  1. Добавьте следующий код в ~/.config/gtk-3.0/gtk.css:

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

    Изменить: вам нужно будет создать файл, если он еще не существует (спасибо jonS90).

  2. Убейте все экземпляры гнома-терминала:

    $ killall gnome-terminal
    
  3. Перезапустите гном-терминал.


2
Указанный файл gtk.css не существует в моей системе. Я должен был создать это (и тогда решение работало).
jonS90

Это прекрасно работает и в пантеон-терминале (элементарной ОС Локи).
Вишну М.

2
Если у вас есть TRouBLe, помнящий, как эти числа связаны с ребрами, то это вверху справа внизу слева.
Терри Браун

1
@TerryBrown TRouBLe - хороший способ. Другой пример - стрелки, прогрессирующие на аналоговых часах: 12-3-6-9 (вверху, справа, внизу, слева).
WinEunuuchs2Unix

9

Я попробовал все ответы здесь на Ubuntu 16.10 с gnome-терминал 3.20.2, и они не работали. Я нашел современное решение в этой ветке панели запуска . В файле ~/.config/gtk-3.0/gtk.css(который вам может понадобиться создать), добавьте это:

vte-terminal {
    padding: 10px;
}

Я могу подтвердить, что это также работает для Ubuntu 17.04.
Alp Dener

Работает в 17.10.
blockloop

Итак, я создаю gtk.css, чтобы иметь только ваши 3 строки? Или, как я могу создать по умолчанию?
Робин Хсу,

@RobinHsu, если файл существует, добавьте это в конец. Если это не так, создайте его и только добавьте это.
phrz

Это не работает на Ubuntu 18.04.
Александр Верри


3

Вы можете сделать это с некоторыми терминалами, например старым xterm

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

В руководстве man xtermвы найдете инструкции по настройке шрифтов, цветов переднего плана и фона. Может быть, немного сложно настроить, но очень гибкий.


3

Пожалуйста, пройдите этот вопрос - Unity Terminal 16.04

Комментарий к списку пожеланий описывает очень правильные решения для терминалов Ubuntu 16.04, где нам нужно изменить файл ~/.config/gtk-3.0/gtk.css:

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

К

VteTerminal {
    padding: 10px;
}

paddingработает так же, как обычный CSS padding.


Это не работает на Ubuntu 18.04.
Александр Верри

2

В былые времена были X Resources . Создав файл .Xdefaultsили .Xresourcesфайл в вашем домашнем каталоге, вы можете изменить всевозможные настройки для графических приложений.

Общесистемное по умолчанию на моей коробке находится в /etc/X11/Xresourcesи , /etc/X11/app-defaultsно я , если не знаю , гном-терминала заботится о любом из них.

Редактировать : также, это кажется "отделом тем", так что редактирование файлов тем или запуск gnome-терминала с пользовательским .gtkrcфайлом могли бы сработать, что-то вроде

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

в терминале, или редактирование gnome-Terminal.destktop выше, чтобы выглядеть так

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

может работать


1

Я не смог найти параметр заполнения в редакторе gconf или dconf. Я выполнил поиск по «терминалу» в Центре программного обеспечения и нашел несколько терминальных приложений. Gnome раньше легко определял различные терминальные приложения, но вещи немного изменились. /usr/share/applications/gnome-terminal.desktop - это место, где указывается приложение терминала для выполнения. Откройте этот файл, и вы найдете:

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

Exec = gnome-терминал можно изменить, чтобы выбрать другое приложение терминала. Редактирование этого файла немного сложное, потому что его тип MIME не распознается naultilus как редактируемый. Вам нужно будет начать редактирование из командной строки следующим образом:

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

После внесения этого изменения терминальное приложение может быть инициировано так же, как и раньше, но ваше альтернативное терминальное приложение будет запущено.


1

В качестве альтернативы я использовал обходной путь, при котором вы меняете параметр темы (metacity 2) left_widthна 15или 20пиксели.

Это делает границу окна толстой с левой стороны и перемещает эффективную левую границу внутри окна. Это работает хорошо для меня, так как цвет границы окна и фоновый цвет для терминала близки.

Я тщательно исследовал это, и единственный другой способ сделать это - переключиться на xtermтерминал, как упомянуто выше. Тем не менее, настройка xterm является трудной задачей и должна выполняться через .Xresourcesфайл конфигурации, меню с xterm отсутствует.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.