Wyłącz hiperłącza w gnome-terminalu


18

Czy można wyłączyć hiperłącza w terminalu gnome? Terminal nigdy nie powinien podkreślać żadnego tekstu, a kliknięcia zawsze powinny zaczynać się zaznaczać.

Są dwa powody, dla których chcę to zrobić: Po pierwsze, po prostu klikam okno terminala, gdy jest ono z tyłu, nie patrząc na zawartość terminala, i często przypadkowo klikam tam link. Po drugie, gdy używasz npm, będzie dużo tekstu, który wygląda jak adresy e-mail, ale które nie są, np. Reag@0.13.3.


Masz na myśli edytor gconf? Próbowałem tego, ale nie znalazłem opcji. OK, może wypróbuję inny emulator terminala.
digory doo

1
Nie, Ubuntu używa teraz dconf-editor. Jest gconf-editorto głównie przestarzałe w nowszych wersjach.
clearkimura

Naprawdę? Dobrze wiedzieć ...
digory doo

Odpowiedzi:


10

Niestety gnome-terminal nie oferuje żadnej opcji konfiguracji, aby je wyłączyć. Może chcesz go skompilować, usuwając wpisy z url_regex_patternsw src/terminal-screen.c.

Ta funkcja hiperłącza nie wpływa na normalny wybór tekstu za pomocą myszy, nadal możesz kliknąć i zaznaczyć tekst. Kliknięcie hiperłącza, aby przesunąć okno do przodu, nie powinno mieć niepożądanych skutków ubocznych. (Ta funkcja wpływa na rzadko używany prostokątny wybór ( Ctrlzamiast tego kliknięcie staje się „otwartym linkiem”) i zapełnia menu prawym przyciskiem myszy dodatkowymi wpisami.)

Oczywiście rozumiem, że podkreślenie tekstu i zmiana kształtu wskaźnika myszy po najechaniu myszą jest wizualnie nieprzyjemne, gdy masz wiele fałszywych dopasowań, ale nie rozumiem, jak to powoduje rzeczywisty problem behawioralny.


Aktualizacja:

gnome-terminal wersja 3.18.3 ponownie implementuje wyrażenia regularne dopasowujące od zera, w sposób, który prowadzi do znacznie mniej fałszywych trafień niż w poprzednich wersjach. Np. „Reag@0.13.3” nie jest już traktowany jako prawidłowy adres e-mail.


Masz pomysł, czy można go skonfigurować tak, aby zezwalał na klikanie pliku: /// ... ścieżki ze spacjami? Zwykłe strategie (cytaty, ucieczka) nie działają, tzn. Cokolwiek robię, nie mogę uzyskać pliku: /// ... url do ctrl + kliknięcie poprawnie, ponieważ termin rozpoznaje tylko część ścieżka do pierwszego miejsca.
Tomislav Nakic-Alfirevic

1
Spacja nie jest dozwoloną postacią w URI, użyj %20zamiast tego. Jeśli spodziewasz się, że file://po nazwie będzie działać dosłowna (niekodowana) nazwa pliku, będziesz mieć kłopoty z mnóstwem innych znaków. Również, jeśli stworzyliśmy specjalny przypadek i dozwolone spacje, myślę, że twoim następnym problemem będzie to, że zawiera on resztę wiersza / akapitu i nie zatrzymuje się na tym drugim miejscu ... więc musiałby przeczytać twój umysł, lub przynajmniej sprawdź istnienie pliku, zatrzymując się na różnych znakach spacji ... nie.
egmont

To po prostu pokazuje, że żaden wniosek nie jest zbyt oczywisty, aby pominąć, gdy podchodzisz do niego z dość dziwnego kąta: dzięki za uwagę% 20, że to zrobiło!
Tomislav Nakic-Alfirevic

8

W rzeczywistości działa tak, jak potrzebujesz w Ubuntu 14.04 (gnome-terminal 3.6) i Ubuntu 15.04 (gnome-terminal 3.14)

Linki aktywowane tylko za pomocą:

  • Kliknięcie lewym przyciskiem podczas trzymania Ctrl
  • lub klikając prawym przyciskiem myszy → Otwórz link.

Podwójne kliknięcie dokonuje wyboru.


1
Fajne obejście, chociaż miałem nadzieję, że mogę po prostu wyłączyć tę funkcję.
digory doo

@digorydoo, którą wersję posiadasz?
user.dz

1
To Ubuntu 14.04.
digory doo
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.