Existe uma maneira de verificar qual fonte seu emulador shell / terminal está usando a partir da linha de comando?

4

Existe uma maneira de verificar qual fonte seu emulador de terminal / shell está usando a partir da linha de comando?

Estou disposto a resolver a leitura de parte de um arquivo de configuração, se um comando direto não estiver prontamente disponível.

    
por Akiva 23.09.2014 / 12:30

4 respostas

5

A opção Usar a fonte de largura fixa do sistema é geralmente igual e definida por org.gnome.desktop.interface .

  • Para obter a configuração atual da fonte, execute o seguinte comando:

    gsettings get org.gnome.desktop.interface monospace-font-name
    
  • Para definir / alterar a configuração, execute o seguinte comando (aqui exemplo de aumentar tamanho):

    gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
    

Enquanto executo o comando acima, encontrei a fonte do seu terminal alterada (tamanho aumentado)! Então, gnome-terminal usando essa configuração de fonte.

    
por Pandya 28.09.2014 / 09:06
2

Verifique a fonte do terminal:

  

grep -i "fontface" / etc / default / console-setup

    
por Andy 23.09.2014 / 12:41
2

Já existem muitas respostas nos emuladores de console, então vou focar apenas no console virtual tty. Você pode fazer cat /etc/default/console-setup e encontrar a linha dizendo FONTFACE. Como alternativa, você poderia grep -n FONTFACE /etc/default/console-setup

Por exemplo, aqui está o meu arquivo de configuração do console

Para alterá-lo, você pode executar sudo dpkg-reconfigure console-setup em tty. Isto irá atualizar as configurações do kernel, por sinal.

    
por Sergiy Kolodyazhnyy 28.09.2014 / 09:41
1

Você pode verificar sua fonte do terminal do gnome usando o seguinte comando

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Por exemplo, estou usando este comando para o gnome-terminal

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Se você quiser alterar a fonte usando a linha de comando, você pode usar o seguinte comando

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Onde 12 é o tamanho da fonte.

    
por g_p 23.09.2014 / 13:22