Это, кажется, было добавлено между 17,04 и 18.04 и связано с этой ошибкой, https://bugzilla.gnome.org/show_bug.cgi? id=365121
Я пытался искать/usr/share/и/etc/для файла конфигурации, но не нашел тот, который я пытался искать Google, но не нашел проблем.
Заранее спасибо за справку
Кажется, другая трудно кодированная вещь. Это - просто другой пример GNOME "пользовательские товарищеские встречи".
Некоторый анализ и рекомендации ниже:
$ apt-get source gnome-terminal $ cd gnome-terminal-3.28.2/ $ grep -ir "Copy.*as.*HTML" . --include="*.c" -n ./src/terminal-accels.c:141: ENTRY (N_("Copy as HTML"), KEY_COPY_HTML, "copy", "s", "'html'" ), ./src/terminal-window.c:1782: g_menu_append (section4, _("Copy as _HTML"), "win.copy::html");
вручную откройтесь ./src/terminal-window.c
шоу, настолько соответствующие g_menu_append
не условное выражение, таким образом, оно включено каждый раз.
Dconf знает только об установке для определения/разрешения/запрещения сочетания клавиш (переключенный в Preferences→Shortcuts→Edit→Copy как HTML):
$ gsettings list-recursively | grep -i html
org.gnome.Terminal.Legacy.Keybindings copy-html 'disabled'
Если Вам не нравится та функция, можно попытаться использовать другое терминальное приложение как Терминал ПОМОЩНИКА или что-то еще вместо этого:
Примечание: в Ubuntu 18.04 LTS xfce4-terminal
имеет ту же ненастраиваемую вещь.
Вы не можете отключить эти записи. Как в большей части программного обеспечения, интерфейс рядового пользователя (организация его меню и т.д.) является твердой кодированной неотъемлемой частью Терминала GNOME, и не настраивающийся (по крайней мере, не изменяя исходный код).