在 gnome 终端中增加填充

Question

我想增加 gnome 终端中的填充，因为默认没有填充并且伤害我的眼睛。

（填充如下：我想要窗口边框和显示文本输入/输出的位置之间的空间。）

例如：

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

Answer 1

2018 年 6 月 2 日编辑：从 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. 杀死所有 gnome-terminal 实例：

   $ killall gnome-terminal
   

3. 重新启动 gnome 终端。

Answer 2

我在 Ubuntu 16.10 和 gnome-terminal 3.20.2 上尝试了所有的答案，但没有奏效。我在这个 launchpad thread 中找到了最新的解决方案。在文件~/.config/gtk-3.0/gtk.css（您可能需要创建）中，添加以下内容：

vte-terminal {
    padding: 10px;
}

Answer 3

过去，曾经有X 资源。在主目录中创建一个.Xdefaults或.Xresources文件，您可以更改图形应用程序的各种设置。

我的盒子上的系统范围默认值可以在/etc/X11/Xresources和中找到/etc/X11/app-defaults，但我不知道 gnome-terminal 是否关心其中任何一个。

编辑：另外，这似乎是“主题部门”，因此编辑主题文件或使用自定义.gtkrc文件启动 gnome-terminal 可以解决这个问题，例如

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

在终端中，或编辑上面的 gnome-terminal.destktop 看起来像

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

可以工作。

Answer 4

我在 gconf 或 dconf 编辑器中找不到填充参数。我在软件中心搜索了“终端”，发现了许多终端应用程序。Gnome 曾经可以轻松指定不同的终端应用程序，但情况已经发生了一些变化。/usr/share/applications/gnome-terminal.desktop 是指定要执行的终端应用程序的位置。打开该文件，你会发现：

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

可以更改 Exec=gnome-terminal 以选择不同的终端应用程序。编辑此文件有点复杂，因为 naultilus 无法将其 mime 类型识别为可编辑。您需要从命令行启动编辑，如下所示：

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

进行更改后，终端应用程序可以像以前一样启动，但您的替代终端应用程序将运行。