Como mudar o cursor do terminal Gnome?

10

Como você altera o cursor de texto / cursor no Terminal para bloquear, I-Beam ou sublinhado.

gnome-terminal Luke Shimkus
fonte
Terminal Gnome ou algum outro tipo de GUI? Talvez o tty?
Braiam 29/07

Respostas:

7

Além do método da GUI, você também pode alterar a forma do cursor na linha de comando:

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

Os valores possíveis são " bloco " para usar um cursor de bloco, " ibeam " para usar um cursor de linha vertical ou " sublinhado " para usar um cursor de sublinhado.

Para obter o valor atual:

$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/cursor_shape
block
Sylvain Pineau
fonte
11
você já tem meu voto positivo para o método GUI passo a passo;)
Sylvain Pineau
Nota: Isso altera o cursor não apenas no terminal atual, mas também em todas as outras guias atuais e futuras do terminal gnome do mesmo perfil, como se você tivesse aberto o editor de preferências gráficas e o alternado para lá.
egmont
@egmont De fato, acabei de ler sua resposta. Agora, dependendo se deve ser persistente ou não, temos a escolha. Obrigado
Sylvain Pineau
12

Nas versões recentes do gnome-terminal, você pode usar as seguintes seqüências de escape para alterar o cursor:

  • \e[0 qou \e[ q: redefina para o que estiver definido nas configurações do perfil
  • \e[1 q: bloco intermitente
  • \e[2 q: bloco fixo
  • \e[3 q: piscando sublinhado
  • \e[4 q: sublinhado constante
  • \e[5 q: feixe I intermitente
  • \e[6 q: feixe em I estável

Você pode imprimi-los por exemplo echo -ne '\e[5 q'.

Isso tem a vantagem / desvantagem (com base no seu caso de uso) em comparação com o gconftoolmétodo que influencia apenas a guia especificada, e nem todas as guias que usam o perfil especificado.

Egmont
fonte
Isso parece incrível! Infelizmente, não posso usá-lo (executando gnome-terminal3.14.1). Há algo que eu deva fazer para permitir isso? (funciona xterm)
iago-lito 21/07
4
Esse recurso está disponível desde o vte-0.40, que emparelha oficialmente com o gnome-terminal-3.16 (embora você provavelmente possa atualizar apenas o seu vte e manter o gnome-terminal-3.14).
egmont
Ótimo, vamos atualizar então. Felicidades!
Iago-lito
Ótima resposta! Segui estas instruções para obter o gnome-terminal 3.16 askubuntu.com/a/625250/114821
netimen
Nota: se você estiver usando o tmux, provavelmente precisará informar ao tmux como redefinir a forma do cursor adicionando algo assim ao seu .tmux.conf, ou a primeira sequência não funcionará:set -ga terminal-overrides ",*256color*:Se=\\E[0 q"
Ash
5

Para alterar seu cursor de texto / cursor:

  1. Abra o Terminal .
  2. Clique com o botão direito na janela do terminal.
  3. Passe o mouse sobre a opção Perfis .
  4. Selecione Preferências do perfil .

Como visto aqui:

Apenas uma janela do terminal

5.Aqui você encontrará a opção Forma do Cursor .

Forma do cliente

6. Aproveite o Terminal com um sinal de intercalação diferente.

Luke Shimkus
fonte
onde está a forma do cursor?
bagustris