Désactiver les hyperliens dans gnome-terminal

18

Est-il possible de désactiver les hyperliens dans gnome-terminal? Le terminal ne doit jamais souligner de texte et les clics doivent toujours commencer à sélectionner.

Il y a deux raisons pour lesquelles je veux faire cela: d'abord, je clique simplement dans une fenêtre de terminal lorsqu'elle est à l'arrière sans regarder ce qu'il y a dans le terminal, et je clique souvent accidentellement sur un lien hypertexte qui s'y trouve. Deuxièmement, lorsque vous utilisez npm, il y aura beaucoup de texte qui ressemblera à des adresses e-mail, mais qui ne le sont pas, par exemple react@0.13.3.

command-line gnome-terminal

— digory doo
source

Vous voulez dire gconf-editor? J'ai essayé, mais je n'ai pas trouvé l'option. OK, je vais peut-être essayer un autre émulateur de terminal.

— digory doo

1

Non, Ubuntu utilise maintenant dconf-editor. Le gconf-editorest principalement déconseillé sur les nouvelles versions.

— clearkimura

Vraiment? Bon à savoir ...

— digory doo

10

Malheureusement, gnome-terminal ne propose aucune option de configuration pour les désactiver. Vous voudrez peut-être le recompiler, en supprimant les entrées de url_regex_patternsdans src/terminal-screen.c.

Cette fonction de lien hypertexte n'influence pas la sélection de texte normale par la souris, vous pouvez toujours cliquer et sélectionner le texte. Cliquer sur un lien hypertexte pour faire avancer la fenêtre ne devrait pas avoir d'effet secondaire indésirable. (La fonction influence la sélection rectangulaire rarement utilisée ( Ctrl+ le clic devient à la place un "lien ouvert") et remplit le menu contextuel avec des entrées supplémentaires.)

Bien sûr, je comprends que souligner le texte et changer la forme du pointeur de la souris en survol est visuellement désagréable lorsque vous avez de nombreuses fausses correspondances, mais je ne vois pas comment cela provoque un problème de comportement réel.

Mise à jour:

gnome-terminal version 3.18.3 réimplémente les expressions régulières matcher à partir de zéro, d'une manière qui conduit à beaucoup moins de faux positifs que dans les versions précédentes. Par exemple, "react@0.13.3" n'est plus traité comme une adresse e-mail valide.

— egmont
source

Une idée si elle peut être configurée pour permettre de cliquer sur les chemins file: /// ... avec des espaces? Les stratégies habituelles (guillemets, échappements) ne semblent pas fonctionner, c'est-à-dire quoi que je fasse, je ne peux pas obtenir un fichier: /// ... url pour ctrl + clic-ouvrir correctement car le terme ne reconnaît que la partie de le chemin jusqu'au premier espace.

— Tomislav Nakic-Alfirevic

1

L'espace n'est pas un caractère autorisé dans les URI, utilisez %20plutôt. Si vous vous attendez à ce file://qu'un nom de fichier littéral (non codé) fonctionne, vous aurez également des problèmes avec beaucoup d'autres caractères. De plus, si nous avons créé un cas spécial et autorisé des espaces, je suppose que votre prochain problème serait qu'il inclut le reste de la ligne / du paragraphe et ne s'arrête pas à cet autre espace ... il faudrait donc lire dans votre esprit, ou vérifiez au moins l'existence du fichier en vous arrêtant à différents caractères d'espace ... non.

— egmont

Cela montre simplement qu'aucune conclusion n'est trop évidente pour être ratée lorsque vous y arrivez sous un angle assez étrange: merci pour la remarque% 20, ça y est!

— Tomislav Nakic-Alfirevic

8

En fait, cela fonctionne comme vous en avez besoin dans Ubuntu 14.04 (gnome-terminal 3.6) et dans Ubuntu 15.04 (gnome-terminal 3.14)

Liens activés uniquement avec:

un clic gauche tout en maintenant Ctrl
ou en utilisant Clic droit → Ouvrir le lien.

Double-cliquer fait la sélection.

— user.dz
source

1

Belle solution de contournement, même si j'espérais pouvoir désactiver toute la fonctionnalité.

— digory doo

@digorydoo, quelle version avez-vous?

— user.dz

1

C'est Ubuntu 14.04.

— digory doo