Вопросы Теги

Могу ли я указать, какие символы задают границу выбора двойного щелчка в терминале GNOME?

Когда я дважды щелкаю, чтобы выбрать текст в терминале GNOME, выбор останавливается в пробелах, но продолжается над дефисами:

spaces [!d2]

Некоторые из моих имен файлов содержат необычные символы, такие как звёздочка с сильным заклинанием и не могут быть выбраны двойным щелчком:

Есть ли способ сделать двойной щелчок выбор продолжается и над этими символами?

15
задан 20 October 2010 в 09:55

50 ответов

Другие ответы не работают сегодня ... это работает на 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
1
ответ дан 4 August 2018 в 20:56

Расширение ответа @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
0
ответ дан 4 August 2018 в 20:56

[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").

13
ответ дан 4 August 2018 в 20:56

Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано 

  /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

Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.

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

1
ответ дан 4 August 2018 в 20:56

Другие ответы не работают сегодня ... это работает на 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
1
ответ дан 6 August 2018 в 04:28

Расширение ответа @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
0
ответ дан 6 August 2018 в 04:28

[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").

13
ответ дан 6 August 2018 в 04:28

Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано 

  /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

Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.

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

1
ответ дан 6 August 2018 в 04:28

Другие ответы не работают сегодня ... это работает на 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
1
ответ дан 7 August 2018 в 22:36

Расширение ответа @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
0
ответ дан 7 August 2018 в 22:36

[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").

13
ответ дан 7 August 2018 в 22:36

Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано 

  /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

Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.

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

1
ответ дан 7 August 2018 в 22:36

Другие ответы не работают сегодня ... это работает на 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
1
ответ дан 10 August 2018 в 10:43

Расширение ответа @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
0
ответ дан 10 August 2018 в 10:43

[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").

13
ответ дан 10 August 2018 в 10:43

Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано 

  /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

Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.

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

1
ответ дан 10 August 2018 в 10:43

Другие ответы не работают сегодня ... это работает на 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
1
ответ дан 13 August 2018 в 17:17

Расширение ответа @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
0
ответ дан 13 August 2018 в 17:17

[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").

13
ответ дан 13 August 2018 в 17:17
  • 1
    Спасибо, это именно то, что мне нужно, чтобы получить : . Возможно ли, что вы могли написать команду (ы) для автоматического получения профиля по умолчанию или текущего профиля, поэтому мне не нужно вручную искать мой идентификатор профиля, чтобы запустить эту команду в будущем? Таким образом, я могу просто запустить этот скрипт на свежих установках. – Programster 6 June 2016 в 16:20
  • 2
    – A B 7 June 2016 в 03:13
  • 3
    thanks @alberge Я взял это и поместил его в скрипт python – Programster 8 June 2016 в 14:18
  • 4
    – Tor Klingberg 21 August 2017 в 17:20

Очень полезная функция по умолчанию, реализованная в других терминалах, - это прогрессивный выбор расширенных разделов строки на экране. например, задано 

  /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

Окружающие симметрии могут быть решены путем добавления пар до разделителя следующего уровня.

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

1
ответ дан 13 August 2018 в 17:17
  • 1
    Не комментируйте ответ, но попробуйте отформатировать его лучше, чтобы люди поняли это быстрее. Если вы хотите перечислить его шаг за шагом, используйте нумерацию. – VedVals 13 December 2012 в 19:53
  • 2
    Спасибо, но я не думаю, что это относится к моему вопросу. Я специально спрашиваю, как настроить терминал GNOME. – ændrük 14 December 2012 в 01:14

Другие вопросы по тегам:

Похожие вопросы: