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

11

Existe uma maneira de verificar qual fonte seu emulador de terminal / shell está usando na 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.

command-line fonts Akiva
fonte
Pode conteúdos da cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlajuda?
Pandya

Respostas:

7

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

screen0

  • 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 corro acima do comando, achei a fonte do seu terminal alterada (tamanho aumentado)! Então, gnome-terminalusando essa configuração de fonte.

Pandya
fonte
Obrigado! Eu estava tentando desesperadamente descobrir a "fonte de largura fixa do sistema" que o Ubuntu usa para usá-lo também no urxvt.
balu
2

Verifique a fonte do terminal:

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

Andy
fonte
2

Já existem muitas respostas nos emuladores de console, portanto, focarei apenas em tty console virtual. Você pode fazer gato /etc/default/console-setupe encontrar a linha dizendo FONTFACE. Alternativamente, você poderiagrep -n FONTFACE /etc/default/console-setup

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

insira a descrição da imagem aqui

Para mudar, você pode executar sudo dpkg-reconfigure console-setupem tty. A propósito, isso irá atualizar as configurações do kernel.

Sergiy Kolodyazhnyy
fonte
Eu tentei o seu método e ele mencionou fontface="fixed", enquanto a resposta da @ Pandya me deu 'Ubuntu Mono 13'.. Gostaria de saber por que há uma diferença?
Alpha_989
11
@ alpha_989 Porque a resposta da Pandya está relacionada aos emuladores de terminal da GUI, enquanto a minha - aos consoles virtuais TTY. Ambos são válidos para seus respectivos fins.
Sergiy Kolodyazhnyy
1

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

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

Por exemplo, ele está usando este comando para o gnome-terminal

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

Se você deseja alterar a fonte usando a linha de comando, 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.

g_p
fonte
No meu ambiente (16.04.3, plasma, KDE), esta sugestão comete erros No value set for '/apps/gnome-terminal/profiles/Default/font'. No entanto, seguir a resposta de Pandya (usando o gsettingscomando) funciona e retorna a fonte do terminal Gnome.
Arielf 28/04
Mesmo aqui .. usando ubuntu 16.04Gnome .. não sei por que isso não funciona .. mas Pandya'aresposta trabalhou ..
alpha_989