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

11

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

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