Я хотел бы увеличить дополнение в терминале гнома, потому что значение по умолчанию не имеет никакого дополнения и повреждает мои глаза.
(Дополняющий как в: Я хочу пространство между границей окна и где ввод текста / вывод отображен.)
Например:
=[X][-][ ]=============My Terminal==================
| |
| $> echo "Padding occurs on both sides for long |
| input" |
| |
| |
| |
====================================================
Чтобы отодвинуть вывод терминала от границ окна, создайте таблицу стилей ~ / .config / gtk-3.0 / gtk.css со следующей настройкой:
TerminalScreen {
-VteTerminal-inner-border: 10px 10px 10px 10px;
}
Я попробовал все ответы здесь, на Ubuntu 16.10 с gnome-Terminal 3.20.2, и они не работали Современное решение я нашел в этой ветке панели запуска . В файле ~/.config/gtk-3.0/gtk.css
(который вам, возможно, понадобится создать) добавьте:
vte-terminal {
padding: 10px;
}
Отредактировано 02 июня 2018: Начиная с Ubuntu 18.04, вам нужно добавить еще один селектор элементов, чтобы это работало.
Павел был в основном прав. Это расширенное решение работает с Ubuntu 14.04.1 с GNOME Terminal 3.6.2 .
Добавить следующий код в ~/.config/gtk-3.0/gtk.css
:
Редактировать: Вам нужно будет создать файл, если он еще не существует (спасибо jonS90).
Убить все экземпляры гном-терминала:
$ killall gnome-terminal
Перезапустить гном-терминал.
Пожалуйста, ознакомьтесь с этой проблемой - Терминал 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
.
В былые времена существовали 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
.
В качестве альтернативы я использовал обходной путь, при котором вы меняете параметр темы (metacity 2) left_width
на 15
или 20
пикселей.
Это делает границу окна толстой с левой стороны и перемещает эффективную левую границу внутри окна. Это работает хорошо для меня, так как цвет границы окна и фоновый цвет для терминала близки.
Я тщательно исследовал это, и единственный другой способ сделать это - переключиться на терминал xterm
, как упомянуто выше. Тем не менее, настройка xterm является трудной задачей и должна выполняться через файл конфигурации .Xresources
, меню с xterm отсутствует.
Вы можете сделать это с некоторыми терминалами, например, со старым xterm
xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano &
В руководстве man xterm
вы найдете, как установить шрифты, цвета переднего плана и фона. Может быть, немного сложнее в настройке, но очень гибко.
Я не смог найти параметр заполнения в редакторе 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
После внесения этого изменения терминальное приложение может быть инициировано так же, как и раньше, но ваше альтернативное терминальное приложение будет запущено.