GNOME Terminal 设置边框的方法

创建这个文件 ~/.config/gtk-3.0/gtk.css，写入如下内容：

decoration {
  border: 10px solid white;
}

重新登陆生效。
适用版本：GNOME Terminal 3.28.2

https://askubuntu.com/questions/976030/how-to-enable-add-window-borders-in-17-10-18-04?newreg=4625ae5e9193456484e0b819da092f76