Czy mogę określić, jakie znaki ustawiają granicę wyboru dwukrotnego kliknięcia w terminalu GNOME?

16

Kiedy klikam dwukrotnie, aby zaznaczyć tekst w terminalu GNOME, zaznaczenie zatrzymuje się w spacjach, ale kontynuuje ponad myślnikami:

spacje

Myślniki

Niektóre z moich nazw plików zawierają nietypowe znaki, takie jak ciężka gwiazdka z wypuszczoną łzą i nie można ich wybrać, klikając dwukrotnie:

niezwykłe postacie

Czy istnieje sposób, aby zaznaczanie podwójnym kliknięciem trwało również nad tymi postaciami?

gnome-terminal unicode

— ændrük
źródło

9

W „Edycji> Preferencje profilu> Ogólne” dodaj znak do pola „Znaki wyboru według słowa”.

— mgunes
źródło

Dzięki, nie wiem jak tego nie zauważyłem.

— ændrük

Czy ktoś znalazł ogólny sposób na zrobienie tego w całym środowisku GNOME? Czy też granice słów należą do twórców każdej aplikacji w celu zdefiniowania / przedefiniowania? Powiązane pytanie: superuser.com/q/650240/245597 .

— Noyo

11

Przynajmniej od wersji 3.14 ta opcja zniknęła. Jak możemy to teraz zrobić?

— Joachim Breitner

Próbowałem, dconf write /org/gnome/terminal/legacy/profiles:/:{your-profile-id}/word-char-exceptions '@ms "-,.;/?%&#_=+@~·:"'ale dostaję tylkoerror: Could not connect: Connection refused

— 2015

Wygląda na to, że nie udało mi się uzyskać nieprzerwanej przestrzeni. Działa jednak z funky gwiazdką na terminalu partnera od Zesty.

— Gringo Suave,

16

[Dodanie odpowiedzi, ponieważ zaakceptowana nie działa.]

Scenariusz

Złożyłem to razem w skrypcie, aby ustawić separatory słów:

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

tło

GNOME Terminal klapnął kilka razy na ten temat.

Ta funkcja konfiguracji została usunięta w gnome-terminal 3.14 (zawarty w Ubuntu 15.04 Vivid)

Następnie w gnome-terminal 3.16 (dołączony do Ubuntu 15.10 Wily), opcja została ponownie wprowadzona pod maską, ale bez interfejsu użytkownika. Ponadto :zmieniono dwukropek, aby traktować go jako separator słów.

Edycja za pomocą dconf

Zgodnie z tymi instrukcjami możesz skonfigurować zestaw za pomocą dconf: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8

Lubię używać -#%&+,./:=?@_~jako zestawu separatorów innych niż słowa.

Zauważ, że użycie dwukropków jest / crazy /. Tak, tam jest: /: tam.

1) edycja -> preferencje profilu -> karta Ogólne w profilu ma swój identyfikator profilu, np. B1dcc9dd-5262-4d8d-a863-c897e6d979b9

2) sprawdź, czy masz poprawną składnię:

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

Jeśli nic nie zwraca, oznacza to, że jest źle; Spróbuj ponownie.

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

W szczególności ma on „:”, co powoduje, że wybiera adresy URL tak, jak się spodziewam. ( http://example.com nie wybiera „//example.com”).

— AB
źródło

Dzięki właśnie tego potrzebowałem, aby uzyskać :. Czy to możliwe, że można napisać polecenie (polecenia), aby automatycznie pobrać profil domyślny lub bieżący, więc nie muszę ręcznie wyszukiwać identyfikatora mojego profilu, aby uruchomić to polecenie w przyszłości? W ten sposób mogę po prostu uruchomić ten skrypt na nowych instalacjach.

— Programster,

@Programster Możesz zrobić coś takiego zdconf list /org/gnome/terminal/legacy/profiles:/

— AB

dzięki @alberge Wziąłem to i umieściłem w skrypcie w języku Python

— Programster

Jaka jest domyślna wartość word-char-exceptions, więc mogę dodać tylko jeden znak?

— Tor Klingberg,

1

Bardzo przydatną domyślną funkcją zaimplementowaną w innych terminalach jest progresywny wybór rozszerzonych odcinków linii na ekranie. np. dane

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

dwukrotne kliknięcie, powiedzmy, filenrw dsr.filenr_34.ctrspowoduje przejście od 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
      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

Otaczające symetrie można rozwiązać, dodając pary do ogranicznika następnego poziomu.

I oczywiście użytkownik powinien mieć możliwość zmiany ustawień domyślnych.

— Marc
źródło

1

Brak komentarza do odpowiedzi, ale spróbuj sformatować ją w lepszy sposób, aby ludzie rozumieli ją szybciej. Jeśli chcesz to zrobić krok po kroku, użyj numeracji.

— VedVals,

Dziękuję, ale nie sądzę, że dotyczy to mojego pytania. Pytam konkretnie, jak skonfigurować GNOME Terminal.

— ændrük

1

Inne odpowiedzi nie działają dzisiaj ... działa to na Ubuntu 18.04 ... najpierw zidentyfikuj swój identyfikator identyfikatora terminala gnome UUID ... wystaw to w terminalu

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

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

teraz wprowadź zmiany:

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

dopóki Ubuntu 18.04 nie zostanie naprawiony, następująca komenda odczytu po cichu kończy się niepowodzeniem, podczas gdy działała dobrze na Ubuntu 16.04

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

— Scott Stensland
źródło

Wygląda raczej jak askubuntu.com/a/725109/158442

— mur

0

Rozszerzając odpowiedź @alberge, możesz wykonać następujący python3skrypt, aby zmienić wszystkie profile, aby to zrobić:

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

Lub możesz po prostu wykonać:

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

— Programista
źródło