Como alterar o cursor do Terminal Gnome?

7

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

    
por Luke 29.07.2014 / 19:39

3 respostas

5

Além do método 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 " block " 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
    
por Sylvain Pineau 29.07.2014 / 21:19
10

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

  • \e[0 q ou \e[ q : redefinir para o que estiver definido nas configurações do perfil
  • \e[1 q : bloco intermitente
  • \e[2 q : bloco estável
  • \e[3 q : sublinhado intermitente
  • \e[4 q : sublinhado constante
  • \e[5 q : feixe de luz intermitente
  • \e[6 q : feixe fixo

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

Isso tem a vantagem / desvantagem (com base no seu caso de uso) em comparação com o método gconftool que influencia apenas a guia fornecida, e não todas as guias que usam o perfil fornecido.

    
por egmont 06.05.2015 / 23:28
4

Para alterar seu cursor de texto / cursor:

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

Como visto aqui:

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

6. Aproveite o uso do Terminal com um Caret diferente.

    
por Luke 29.07.2014 / 19:39