¿Puedo especificar qué caracteres establecen el límite de selección de doble clic en el Terminal GNOME?

Cuando hago doble clic para seleccionar texto en el Terminal GNOME, la selección se detiene en espacios pero continúa con guiones:

Algunos de mis nombres de archivo contienen caracteres poco comunes, como el asterisco pesado con forma de lágrima y no se pueden seleccionar haciendo doble clic:

¿Hay alguna manera de hacer que la selección de doble clic continúe también sobre estos personajes?

En "Editar> Preferencias de perfil> General", agregue el carácter al cuadro "Seleccionar caracteres por palabra".

[Agregar una respuesta ya que la aceptada ya no funciona.]

Guión

Puse esto junto en un script para establecer los separadores de palabras:

https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh

Antecedentes

El terminal de GNOME ha cambiado varias veces sobre este tema.

Esta característica de configuración se eliminó en gnome-terminal 3.14 (incluido en Ubuntu 15.04 Vivid)

• https://bugzilla.gnome.org/show_bug.cgi?id=727743
• https://bugzilla.gnome.org/show_bug.cgi?id=730632

Luego, en gnome-terminal 3.16 (incluido en Ubuntu 15.10 Wily), la opción se reintrodujo bajo el capó, pero sin interfaz de usuario. Además, :se cambió el colon para ser tratado como un separador de palabras.

Edición con dconf

Según estas instrucciones, puede configurar el conjunto usando dconf: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8

Me gusta usarlo -#%&+,./:=?@_~como el conjunto de separadores que no son palabras.

Tenga en cuenta que el uso de dos puntos allí es / crazy /. Sí, hay: /: allí.

1) editar -> preferencias de perfil -> la pestaña General de su perfil tiene su ID de perfil, por ejemplo, b1dcc9dd-5262-4d8d-a863-c897e6d979b9

2) compruebe que tiene la sintaxis correcta con:

PS dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ...

Si no devuelve nada, lo has entendido mal; Inténtalo de nuevo.

3) dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"'

Específicamente, esto tiene ":" en, lo que hace que seleccione URL como espero. ( http://example.com no selecciona "//example.com").

Una característica predeterminada muy útil implementada en otros terminales es la selección progresiva de secciones extendidas de una línea en la pantalla. por ejemplo, dado

/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr

haciendo doble clic en, digamos, filenren dsr.filenr_34.ctravanzaría de filenra:

                              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

Las simetrías circundantes se pueden resolver agregando pares hasta el delimitador del siguiente nivel.

Y, por supuesto, el usuario debe tener la opción de cambiar los valores predeterminados.

Otras respuestas no funcionan hoy ... esto funciona en ubuntu 18.04 ... primero identifique su ID de perfil de terminal de gnomo UUID ... publique esto en la terminal

profile=$(gsettings get org.gnome.Terminal.ProfilesList default)

echo $profile  #  for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969

ahora haz el cambio:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d97969/word-char-exceptions '@ms "-,.;?%&#_+@~·$/"'

hasta que ubuntu 18.04 se arregla, el siguiente comando de lectura falla silenciosamente, mientras que funcionó bien en ubuntu 16.04

dconf  read  /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions

Extendiendo la respuesta @alberge, puede ejecutar el siguiente python3script para cambiar todos sus perfiles para hacer esto:

#!/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!")

O simplemente puede ejecutar:

curl -s http://scripts.programster.org/scripts/5?output=raw | python3