дополнение увеличения в терминале гнома

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

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

Например:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================
41
задан 25 March 2012 в 04:35

8 ответов

Чтобы отодвинуть вывод терминала от границ окна, создайте таблицу стилей ~ / .config / gtk-3.0 / gtk.css со следующей настройкой:

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

https: // bbs .archlinux.org / viewtopic.php? ID = 163964

0
ответ дан 25 March 2012 в 04:35

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

vte-terminal {
    padding: 10px;
}
0
ответ дан 25 March 2012 в 04:35

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


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

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

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

    [ 110]

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

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

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

0
ответ дан 25 March 2012 в 04:35

Пожалуйста, ознакомьтесь с этой проблемой - Терминал Unity 16.04

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

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

-

VteTerminal {
    padding: 10px;
}

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

0
ответ дан 25 March 2012 в 04:35

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

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

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

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal
[ 1112] в терминале, или отредактируйте приведенный выше файл gnome-terminal.destktop так, чтобы он мог работать как

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

.

0
ответ дан 25 March 2012 в 04:35

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

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

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

0
ответ дан 25 March 2012 в 04:35

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

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

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

0
ответ дан 25 March 2012 в 04:35

Я не смог найти параметр заполнения в редакторе 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

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

0
ответ дан 25 March 2012 в 04:35

Другие вопросы по тегам:

Похожие вопросы: