На моей Ubuntu 17.10 я хочу смочь запуститься gnome-terminal приложение с любым большое дополнение (для полноэкранного использования) или никакое дополнение вообще (для оконного использования).

Я смог применить дополнение с помощью этого ответа на Переполнении стека: https://askubuntu.com/a/887616/425695. Прием должен иметь файл ~/.config/gtk-3.0/gtk.css быть:

vte-terminal {
    padding: 10px;
}

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

Один взлом должен был бы измениться ~/.config/gtk-3.0/gtk.css на лету прежде, чем запустить терминал, но это действительно грязно.

Другая опция состояла бы в том, чтобы дать GTK environemtn переменную, как мы видим в на archlinux здесь или на этой статье:

$ GTK_THEME=<theme name> gnome-terminal

Проблема: GNOME, кажется, игнорирует любую тему, я передаю этот путь

Следующие примеры запускают два раза терминал с нормальной темой вместо "Высокого контраста" один:

$ ls /usr/share/themes/
Ambiance/         Default/          Emacs/            HighContrast/     my-special-theme/ Radiance/         Raleigh/
$ GTK_THEME=HighContrast gnome-terminal
Warning: DESKTOP_STARTUP_ID not set and no fallback available.
$ GTK_THEME=/usr/share/themes/HighContrast/ gnome-terminal
Warning: DESKTOP_STARTUP_ID not set and no fallback available.

Что я делаю неправильно?

ОТРЕДАКТИРУЙТЕ 25.10.2018 После комментария @DKBose

Хорошо, это работает с 'gedit':

$ GTK_THEME=HighContrast gedit

По крайней мере теперь мы знаем, почему это не работало с gnome-terminal... Но теперь будет более трудным сделать то, что я хочу сделать.

Я предполагаю, что должен буду использовать другой эмулятор терминала? Я предполагаю urxvt должна иметь опция для этого?