Когда я дважды щелкаю, чтобы выбрать текст в терминале GNOME, выбор останавливается в пробелах, но продолжается над дефисами:
[!d2]
Некоторые из моих имен файлов содержат необычные символы, такие как звёздочка с сильным заклинанием и не могут быть выбраны двойным щелчком:
Есть ли способ сделать двойной щелчок выбор продолжается и над этими символами?
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
В «Правка»> «Настройки профиля»> «Общие» добавьте символ в поле «По алфавиту».
dconf write / org / gnome / terminal / legacy / profiles: /: {your-profile-id} / word-char-exceptions '@ms "-,; /?% & Amp; # _ = + @ ~ ·: & Quot; [, но все, что я получаю, это ошибка : не удалось подключиться: соединение отклонено
– cprn
9 September 2015 в 19:31
[Добавление ответа, поскольку принятый больше не работает.]
Сценарий
Я собрал это вместе в скрипт для установки разделителей слов:
[d5 ] https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.shСценарий
Терминал GNOME несколько раз перевернулся по этому вопросу.
Эта функция конфигурации была удалена в gnome-terminal 3.14 (включен в Ubuntu 15.04 Vivid)
https: // bugzilla. gnome.org/show_bug.cgi?id=727743 https://bugzilla.gnome.org/show_bug.cgi?id=730632Затем в gnome-terminal 3.16 (включенном в Ubuntu 15.10 Wily), вариант был повторно введен под капотом, но без пользовательского интерфейса.
Редактирование с помощью dconf
В соответствии с этими инструкциями вы можете настроить набор, используя dconf: https : //github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Мне нравится использовать -#%&+,./:=?@_~ как набор не-слово-разделители.
Обратите внимание, что использование двоеточий есть / crazy /. Да, есть: /: там. 1) edit -> настройки профиля -> вкладка Общие в вашем профиле имеет свой идентификатор профиля, например. b1dcc9dd-5262-4d8d-a863-c897e6d979b9 2) проверьте, что у вас есть синтаксис справа: $ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ... Если он ничего не возвращает, вы ошибаетесь; попробуй еще раз. 3) dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"' В частности, это имеет значение «:» в, что позволяет выбрать URL-адреса, как я ожидаю. (http://example.com не выбирает «//example.com»).Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например,
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
, двойной щелчок, скажем, filenr в dsr.filenr_34.ctr, будет продолжаться с filenr до:
filenr_34
dsr.filenr_34.ctr
-3/dsr.filenr_34.ctr
2-3/dsr.filenr_34.ctr
r.2-3/dsr.filenr_34.ctr
dir1_r.2-3/dsr.filenr_34.ctr
username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
Окружающие симметрии могут быть решены добавив пары до разделителя следующего уровня.
И, конечно, пользователю должна быть предоставлена возможность изменять значения по умолчанию.
Другие ответы не работают сегодня ... это работает на ubuntu 18.04 ... сначала определите ваш идентификатор профиля терминала gnome UUID ... выдайте это в терминале
profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
echo $profile # for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969
теперь внесите изменения: [ ! d1]
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d97969/word-char-exceptions '@ms "-,.;?%&#_+@~·$/"'
до тех пор, пока Ubuntu 18.04 не будет исправлен, следующая команда чтения будет терпеть неудачу, тогда как она отлично работает на ubuntu 16.04
dconf read /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions
Расширение ответа @alberge, вы можете выполнить следующий скрипт python3, чтобы изменить все ваши профили, чтобы сделать это:
#!/usr/bin/python3
import subprocess
command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
profiles = result.stdout.split('\n')
for profileString in profiles:
if profileString.startswith(":"):
changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
subprocess.run(changeCmd)
print("done!")
Или вы можете просто выполнить:
curl -s http://scripts.programster.org/scripts/5?output=raw | python3
Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например,
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
, двойной щелчок, скажем, filenr в dsr.filenr_34.ctr, будет продолжаться с filenr до:
filenr_34
dsr.filenr_34.ctr
-3/dsr.filenr_34.ctr
2-3/dsr.filenr_34.ctr
r.2-3/dsr.filenr_34.ctr
dir1_r.2-3/dsr.filenr_34.ctr
username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
Окружающие симметрии могут быть решены добавив пары до разделителя следующего уровня.
И, конечно, пользователю должна быть предоставлена возможность изменять значения по умолчанию.
[dобавление ответа, поскольку принятый больше не работает.]
Сценарий
Я собрал это вместе в скрипт для установки разделителей слов:
https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Сценарий
Терминал GNOME несколько раз перевернулся по этому вопросу.
Эта функция конфигурации была удалена в gnome-terminal 3.14 (включен в Ubuntu 15.04 Vivid)
https: // bugzilla. gnome.org/show_bug.cgi?id=727743 https://bugzilla.gnome.org/show_bug.cgi?id=730632Затем в gnome-terminal 3.16 (включенном в Ubuntu 15.10 Wily), вариант был повторно введен под капотом, но без пользовательского интерфейса.
Редактирование с помощью dconf
В соответствии с этими инструкциями вы можете настроить набор, используя dconf: https : //github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Мне нравится использовать -#%&+,./:=?@_~ как набор не-слово-разделители.
Обратите внимание, что использование двоеточий есть / crazy /. Да, есть: /: там. 1) edit -> настройки профиля -> вкладка Общие в вашем профиле имеет свой идентификатор профиля, например. b1dcc9dd-5262-4d8d-a863-c897e6d979b9 2) проверьте, что у вас есть синтаксис справа: $ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ... Если он ничего не возвращает, вы ошибаетесь; попробуй еще раз. 3) dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"' В частности, это имеет значение «:» в, что позволяет выбрать URL-адреса, как я ожидаю. (http://example.com не выбирает «//example.com»).Расширение ответа @alberge, вы можете выполнить следующий скрипт python3, чтобы изменить все ваши профили, чтобы сделать это:
#!/usr/bin/python3
import subprocess
command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
profiles = result.stdout.split('\n')
for profileString in profiles:
if profileString.startswith(":"):
changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
subprocess.run(changeCmd)
print("done!")
Или вы можете просто выполнить:
curl -s http://scripts.programster.org/scripts/5?output=raw | python3
Другие ответы не работают сегодня ... это работает на ubuntu 18.04 ... сначала определите ваш идентификатор профиля терминала gnome UUID ... выдайте это в терминале
profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
echo $profile # for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969
теперь внесите изменения: [ ! d1] dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d97969/word-char-exceptions '@ms "-,.;?%&#_+@~·$/"'
до тех пор, пока Ubuntu 18.04 не будет исправлен, следующая команда чтения будет терпеть неудачу, тогда как она отлично работает на ubuntu 16.04
dconf read /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions
Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например,
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
, двойной щелчок, скажем, filenr в dsr.filenr_34.ctr, будет продолжаться с filenr до:
filenr_34
dsr.filenr_34.ctr
-3/dsr.filenr_34.ctr
2-3/dsr.filenr_34.ctr
r.2-3/dsr.filenr_34.ctr
dir1_r.2-3/dsr.filenr_34.ctr
username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
Окружающие симметрии могут быть решены добавив пары до разделителя следующего уровня.
И, конечно, пользователю должна быть предоставлена возможность изменять значения по умолчанию.
[dобавление ответа, поскольку принятый больше не работает.]
Сценарий
Я собрал это вместе в скрипт для установки разделителей слов:
https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Сценарий
Терминал GNOME несколько раз перевернулся по этому вопросу.
Эта функция конфигурации была удалена в gnome-terminal 3.14 (включен в Ubuntu 15.04 Vivid)
https: // bugzilla. gnome.org/show_bug.cgi?id=727743 https://bugzilla.gnome.org/show_bug.cgi?id=730632Затем в gnome-terminal 3.16 (включенном в Ubuntu 15.10 Wily), вариант был повторно введен под капотом, но без пользовательского интерфейса.
Редактирование с помощью dconf
В соответствии с этими инструкциями вы можете настроить набор, используя dconf: https : //github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Мне нравится использовать -#%&+,./:=?@_~ как набор не-слово-разделители.
Обратите внимание, что использование двоеточий есть / crazy /. Да, есть: /: там. 1) edit -> настройки профиля -> вкладка Общие в вашем профиле имеет свой идентификатор профиля, например. b1dcc9dd-5262-4d8d-a863-c897e6d979b9 2) проверьте, что у вас есть синтаксис справа: $ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ... Если он ничего не возвращает, вы ошибаетесь; попробуй еще раз. 3) dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"' В частности, это имеет значение «:» в, что позволяет выбрать URL-адреса, как я ожидаю. (http://example.com не выбирает «//example.com»).Расширение ответа @alberge, вы можете выполнить следующий скрипт python3, чтобы изменить все ваши профили, чтобы сделать это:
#!/usr/bin/python3
import subprocess
command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
profiles = result.stdout.split('\n')
for profileString in profiles:
if profileString.startswith(":"):
changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
subprocess.run(changeCmd)
print("done!")
Или вы можете просто выполнить:
curl -s http://scripts.programster.org/scripts/5?output=raw | python3
Другие ответы не работают сегодня ... это работает на ubuntu 18.04 ... сначала определите ваш идентификатор профиля терминала gnome UUID ... выдайте это в терминале
profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
echo $profile # for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969
теперь внесите изменения: [ ! d1] dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d97969/word-char-exceptions '@ms "-,.;?%&#_+@~·$/"'
до тех пор, пока Ubuntu 18.04 не будет исправлен, следующая команда чтения будет терпеть неудачу, тогда как она отлично работает на ubuntu 16.04
dconf read /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions
Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например,
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
, двойной щелчок, скажем, filenr в dsr.filenr_34.ctr, будет продолжаться с filenr до:
filenr_34
dsr.filenr_34.ctr
-3/dsr.filenr_34.ctr
2-3/dsr.filenr_34.ctr
r.2-3/dsr.filenr_34.ctr
dir1_r.2-3/dsr.filenr_34.ctr
username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677
home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
Окружающие симметрии могут быть решены добавив пары до разделителя следующего уровня.
И, конечно, пользователю должна быть предоставлена возможность изменять значения по умолчанию.
[dобавление ответа, поскольку принятый больше не работает.]
Сценарий
Я собрал это вместе в скрипт для установки разделителей слов:
https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Сценарий
Терминал GNOME несколько раз перевернулся по этому вопросу.
Эта функция конфигурации была удалена в gnome-terminal 3.14 (включен в Ubuntu 15.04 Vivid)
https: // bugzilla. gnome.org/show_bug.cgi?id=727743 https://bugzilla.gnome.org/show_bug.cgi?id=730632Затем в gnome-terminal 3.16 (включенном в Ubuntu 15.10 Wily), вариант был повторно введен под капотом, но без пользовательского интерфейса.
Редактирование с помощью dconf
В соответствии с этими инструкциями вы можете настроить набор, используя dconf: https : //github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
Мне нравится использовать -#%&+,./:=?@_~ как набор не-слово-разделители.
Обратите внимание, что использование двоеточий есть / crazy /. Да, есть: /: там. 1) edit -> настройки профиля -> вкладка Общие в вашем профиле имеет свой идентификатор профиля, например. b1dcc9dd-5262-4d8d-a863-c897e6d979b9 2) проверьте, что у вас есть синтаксис справа: $ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ... Если он ничего не возвращает, вы ошибаетесь; попробуй еще раз. 3) dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"' В частности, это имеет значение «:» в, что позволяет выбрать URL-адреса, как я ожидаю. (http://example.com не выбирает «//example.com»).Расширение ответа @alberge, вы можете выполнить следующий скрипт python3, чтобы изменить все ваши профили, чтобы сделать это:
#!/usr/bin/python3
import subprocess
command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
profiles = result.stdout.split('\n')
for profileString in profiles:
if profileString.startswith(":"):
changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
subprocess.run(changeCmd)
print("done!")
Или вы можете просто выполнить:
curl -s http://scripts.programster.org/scripts/5?output=raw | python3
Другие ответы не работают сегодня ... это работает на ubuntu 18.04 ... сначала определите ваш идентификатор профиля терминала gnome UUID ... выдайте это в терминале
profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
echo $profile # for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969
теперь внесите изменения: [ ! d1] dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d97969/word-char-exceptions '@ms "-,.;?%&#_+@~·$/"'
до тех пор, пока Ubuntu 18.04 не будет исправлен, следующая команда чтения будет терпеть неудачу, тогда как она отлично работает на ubuntu 16.04
dconf read /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions
Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
двойным щелчком, скажем, filenr
в dsr.filenr_34.ctr
будет продвигаться с filenr
до:
filenr_34 dsr.filenr_34.ctr - 3 / dsr.filenr_34.ctr 2-3 / dsr.filenr_34.ctr r.2-3 / dsr.filenr_34.ctr dir1_r.2-3 / dsr.filenr_34.ctr имя_пользователя / dir1_r.2-3 / dsr.filenr_34. ctr home / username / dir1_r.2-3 / dsr.filenr_34.ctr начало / имя пользователя / dir1_r.2-3 / dsr.filenr_34.ctr 23456677 главная / имя пользователя / dir1_r.2-3 / dsr.filenr_34.ctr 23456677 dftrprpr / home / username / dir1_r.2-3 / dsr.filenr_34.ctr 23456677 dftrprpr
Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.
И конечно, пользователю должна быть предоставлена возможность изменять значения по умолчанию.
Другие ответы не работают сегодня ... это работает на ubuntu 18.04 ... сначала определите свой идентификатор профиля терминала gnome UUID ... выдайте это в терминале
profile = $ (gsettings get org.gnome.Terminal.ProfilesList по умолчанию) echo $ profile # для меня он дает b1dcc9dd-5262-4d8d-a863-c897e6d97969
теперь внести изменения:
dconf write / org / gnome / terminal / legacy / profiles: /: b1dcc9dd-5262-4d8d-a863-c897e6d97969 / word-char-exceptions '@ms "-.;?% & amp; # _ + @ ~ · $ / "'
до тех пор, пока не будет исправлена ошибка ubuntu 18.04, следующая команда чтения будет терпеть неудачу, тогда как она отлично работает на ubuntu 16.04
dconf read / org / gnome / terminal / legacy / profiles: /: b1dcc9dd-5262-4d8d-a863-c897e6d979b9 / word-char-exceptions
Расширение ответа @alberge, вы можете выполнить следующий скрипт python3
, чтобы изменить все ваши профили для этого:
#! / usr / bin / python3 import subprocess command = ["dconf", "list", "/ org / gnome / terminal / legacy / profiles: /"] result = subprocess.run (команда, stdout = subprocess.PIPE, stderr = subprocess.PIPE, universal_newlines = True ) profiles = result.stdout.split ('\n') для profileString в профилях: if profileString.startswith (":"): changeCmdPart = "/ org / gnome / terminal / legacy / profiles: /" + profileString + "word -char-exceptions "changeCmd = [" dconf "," write ", changeCmdPart, '@ms" - #% & amp; +,. /: =? @_ ~ "'] subprocess.run (changeCmd) print (" done !!)
Или вы можете просто выполнить:
curl -s http://scripts.programster.org/scripts/5?output=raw | python3
[dобавление ответа, поскольку принятый больше не работает.]
Script
Я собрал это вместе в скрипт, чтобы установить разделители слов :
https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh
] Предыстория
Терминал GNOME несколько раз flipped по этому вопросу.
Эта функция конфигурации была удалена в gnome-terminal 3.14 (включен в Ubuntu 15.04 Vivid)
Затем в gnome-terminal 3.16 (включенном в Ubuntu 15.10 Wily) опция была повторно введена под капотом, но без интерфейса. Кроме того, двоеточие :
было изменено для обработки как разделителя слов.
Редактирование с помощью dconf
В соответствии с этими инструкциями вы можете настроить набор с помощью dconf : https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8
Мне нравится использовать - #% & amp; +,. /: =? @_ ~
как набор несловных разделителей.
Обратите внимание, что использование двоеточий там / crazy /. Да, есть: /: там.
1) edit -> настройки профиля -> вкладка General в вашем профиле имеет свой идентификатор профиля, например. b1dcc9dd-5262-4d8d-a863-c897e6d979b9
2) проверьте, что у вас есть синтаксис справа:
$
dconf list / org / gnome / terminal / legacy / Профили: /: b1dcc9dd-5262-4d8d-a863-c897e6d979b9 / use-system-font для видимого имени переднего плана цвета ...
Если он ничего не возвращает, у вас есть это неправильно; попробуйте еще раз.
3)
dconf write / org / gnome / terminal / legacy / profiles: /: b1dcc9dd-5262-4d8d-a863-c897e6d979b9 / word-char-exceptions '@ms "- #% & amp; +,. /: =? @_ ~ "'
В частности, это имеет значение«: », что позволяет выбрать URL-адреса, как я ожидаю. ( http://example.com не выбирает «//example.com").
blockquote>