Jak zmienić karetkę terminalu Gnome?

8

Jak zmienić kursor tekstowy / znacznik w terminalu, aby blokować, I-Beam lub podkreślenie.

    
zadawane Luke 29.07.2014, 19:39
źródło

3 odpowiedzi

6

Oprócz metody GUI można również zmienić kształt kursora z wiersza polecenia:

$ gconftool-2 --type string --set /apps/gnome-terminal/profiles/Default/cursor_shape <VALUE>

Możliwe wartości to "Blok ", aby użyć kursora blokowego, " ibeam ", aby użyć pionowego kursora linii, lub " podkreślenie "aby użyć kursora podkreślenia.

Aby uzyskać aktualną wartość:

$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/cursor_shape
block
    
odpowiedział Sylvain Pineau 29.07.2014, 21:19
źródło
11

W najnowszych wersjach gnome-terminal możesz użyć następujących sekwencji kontrolnych, aby zmienić kursor:

  • \e[0 q lub \e[ q : zresetuj wszystko, co zdefiniowano w ustawieniach profilu
  • \e[1 q : migający blok
  • \e[2 q : stabilny blok
  • \e[3 q : migające podkreślenie
  • \e[4 q : stałe podkreślenie
  • \e[5 q : migające światło dwuteowe
  • \e[6 q : stabilny I-beam

Możesz je wydrukować np. echo -ne '\e[5 q' .

Ma to zaletę / wadę (zależną od przypadku użycia) w porównaniu z metodą gconftool , która wpływa tylko na daną kartę, a nie na wszystkie zakładki, które używają danego profilu.

    
odpowiedział egmont 06.05.2015, 23:28
źródło
4

Aby zmienić kursor tekstu / kurtyny:

  1. Otwórz Terminal .
  2. Prawym przyciskiem myszy okna terminala.
  3. Ustaw kursor myszy nad opcją Profile .
  4. Wybierz Preferencje profili .

Jak widać tutaj:

5.Tutaj znajdziesz opcję Kształt kursora .

6. Ciesz się korzystaniem z Terminalu z innym urządzeniem Caret.

    
odpowiedział Luke 29.07.2014, 19:39
źródło

Przeczytaj inne pytania na temat tagów