Двойной щелчок мышью в Gnome Terminal

Двойной щелчок по слову в терминале гнома выделяет все слово. К сожалению, этот выбор не включает двоеточия, так что URL не выделены полностью, например, с

http://foo.example.org/

только

//foo.example.org/

выбран.

Как настроить это поведение выбора таким образом, чтобы были выбраны полные URL-адреса?

Смотрите также:

• Как настроить поведение двойного щелчка в X-терминале? - описанные ресурсы не интерпретируются терминалом Gnome
• Двойной щелчок мыши по классическому терминалу gnome - в диалоговом окне настроек профиля терминала Gnome больше нет этой опции

Количество, выбранное при двойном щелчке, можно настроить, добавив дополнительные классы символов в набор по умолчанию. Это означает, что добавление двоеточия и других специальных символов, которые могут отображаться в URL, приводит к двойному щелчку и выбору полных URL.

Это можно настроить через базу данных конфигурации gnome. Для этого нужно получить идентификатор профиля оболочки gnome. Чтобы получить значение по умолчанию:

puuid=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d "'")

Добавление некоторых символов, связанных с URL:

gsettings set \
org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$puuid/ \
    word-char-exceptions '@ms "-=&#:/.?@+~_%;"'

Обратите внимание, что:

• @ms обозначает тип gvariant типа "возможно строка"
• синтаксис класса символов совпадает с синтаксисом регулярных выражений, т. е. a-zуказывает диапазон, в котором -azуказаны буквальные 3 символа. Таким образом, я явно поставил -в первую позицию

История: В классических версиях Gnome Terminal диалоговое окно настроек профиля содержало поле для настройки этих дополнительных символов. В Gnome 3 эксперты по пользовательскому интерфейсу удалили эту опцию из диалогового окна, поскольку считали ее слишком сложной для использования. Значение по умолчанию также было изменено после Fedora 21 .