Selección doble clic en Terminal Gnome

11

Al hacer doble clic en una palabra en el terminal gnome, se selecciona toda la palabra. Desafortunadamente, esta selección no incluye dos puntos, de modo que las URL no están completamente seleccionadas, por ejemplo, con

http://foo.example.org/

solamente

//foo.example.org/

está seleccionado

¿Cómo configuro este comportamiento de selección de modo que se seleccionen las URL completas?

Ver también:

gnome3 gnome-terminal clipboard maxschlepzig
fuente

Respuestas:

17

La cantidad que se selecciona con doble clic se puede configurar agregando clases de caracteres adicionales al conjunto predeterminado. Eso significa que agregar dos puntos y otros caracteres especiales que pueden aparecer en las URL lleva a hacer doble clic y seleccionar URL completas.

Esto se puede configurar a través de la base de datos de configuración de gnome. Para eso hay que obtener la identificación del perfil de shell gnome. Para obtener el predeterminado:

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

Agregar algunos caracteres relacionados con URL:

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

Tenga en cuenta que:

  • @ms denota el tipo gvariante de cadena de tal vez
  • la sintaxis de la clase de caracteres coincide con la expresión regular, es decir, a-zespecifica un rango, donde se -azespecifican los 3 caracteres literales. Por lo tanto, he puesto explícitamente el -en la primera posición

Historial: en las versiones clásicas de Terminal Gnome, el cuadro de diálogo de preferencias de perfil contenía un campo para configurar esos caracteres adicionales. Sin embargo, con Gnome 3, los expertos de UI han eliminado esta opción del diálogo porque pensaron que era demasiado complicado de usar. El valor predeterminado también se cambió después de Fedora 21 .

maxschlepzig
fuente
99
"expertos" deben estar entre comillas. :>
jhermann
1
Si esto no funciona ( echo $pidestá vacío), trata de:pid=$(dconf list /org/gnome/terminal/legacy/profiles:/ | tr -d ":/")
rumpel
@rumpel, hm, lo anterior dconf read ...todavía funciona para mí en Fedora 26. Su comando de lista devuelve todos los identificadores de perfil y otras entradas en ese directorio. Por lo tanto, es probable que termines con un comando de escritura mal formado si usas esa sustitución de comando.
maxschlepzig
1
@rumpel, he actualizado la respuesta. Obtener el perfil predeterminado dconfsolo funciona si tiene más de un perfil configurado y / o ha cambiado la configuración de perfil predeterminada. De lo contrario, el comando no devuelve nada. El gsettingscomando tiene un nivel más alto y devuelve el valor predeterminado para el perfil predeterminado si no se establece explícitamente (por ejemplo, cuando solo tiene un perfil predeterminado).
maxschlepzig
La propuesta para hacer que ctrl-shift-click copie una URL en el portapapeles está en bugzilla.gnome.org/show_bug.cgi?id=786935 El error de Ubuntu para la regresión en la que seleccionar URL se hizo más difícil en 15.10, está aquí, si usted quiero entrar
nealmcb