Как изменить каретку терминала Gnome?
Введите команду:
sudo blkid
Отобразится все подключенные / незамонтированные периферийные блочные устройства, их метки и их uuids (которые все существуют в / dev - облегчают).
1
задан Braiam
30 July 2014 в 03:47
поделиться
2 ответа
В последних версиях gnome-terminal вы можете использовать следующие escape-последовательности для изменения курсора:
\e[0 q или \e[ q: сбросить все, что определено в настройках профиля \e[1 q: мигающий блок \e[2 q: стабильный блок \e[3 q: мигание подчеркивания \e[4 q: постоянная подчеркивание \e[5 q: мигающий I-beam \e[6 q: устойчивый I-beamВы можете напечатать их, например echo -ne '\e[5 q'.
Это имеет преимущество / недостаток (основанный на вашем случае использования) по сравнению с методом gconftool, который влияет только на данную вкладку, а не на все вкладки, которые используют данный профиль.
10
ответ дан egmont
24 May 2018 в 05:10
поделиться
-
1Это выглядит потрясающе! К сожалению, я не могу использовать его (запуск gnome-terminal 3.14.1). Есть ли что-нибудь, что я должен сделать, чтобы это сделать? (он работает в xterm) – iago-lito 21 July 2015 в 16:16
-
2Эта функция доступна с vte-0.40, которая официально соединяется с gnome-terminal-3.16 (хотя вы, вероятно, можете обновить свой только vte и сохранить gnome-terminal-3.14). – egmont 22 July 2015 в 10:55
-
3Отлично, давайте обновим. Ура! – iago-lito 22 July 2015 в 10:57
-
4отличный ответ! Я выполнил эти инструкции, чтобы получить gnome-terminal 3.16 askubuntu.com/a/625250/114821 – netimen 16 August 2015 в 12:55
-
5иконки clap для вас – Sergio Abreu 17 January 2017 в 10:39
Чтобы изменить текстовый курсор / карет:
Откройте терминал. Щелкните правой кнопкой мыши окно терминала. Наведите указатель мыши на опцию «Профили». Выберите «Предпочтения профилей».Как показано здесь:
5. Здесь вы найдете опцию «Форма курсора».
[!d15 ]
6. Наслаждайтесь использованием терминала с другой Caret.
4
ответ дан Luke
24 May 2018 в 05:10
поделиться
-
1