É possível alterar a fonte do terminal?

53

Gostaria de alterar a fonte no Terminal, como posso conseguir isso?

command-line fonts Fawkes5
fonte
2
Qual terminal? O Sublime text 2 está instalado no seu sistema?
Marty Fried
2
e Qual fonte? - #
Anwar
O texto sublime 2 está instalado. A fonte na qual estou interessado é a fonte padrão que o sublime instala. Não é possível encontrar o nome dele
Fawkes5
11
Veja também Como é chamada a fonte padrão do console Debian / Ubuntu (TTY)? e 7 das fontes melhor terminal Ubuntu (largura fixa)
Hans Ginzel

Respostas:

46

Terminal da festança:

Menu, Editar => Preferências do perfil => guia Geral ; desmarque a opção Use a fonte de largura fixa do sistema e selecione a fonte desejada.

Para o terminal xterm geral, você precisa criar um arquivo ~/.Xresourcese adicionar configurações a ele, como xterm*font: Sublime\ Text\ 2-12para 12 pontos (isso é um palpite, não sei se está totalmente correto).

Marty Fried
fonte
Meu terminal gnome trava quando desmarco a caixa de seleção 'usar a fonte de largura fixa do sistema'. Existe uma maneira de modificar ou limpar essa configuração sem passar por essa GUI?
Jonathan Hartley
Não existe um menu chamado "Editar" no Ubuntu 18.04 ou Ubuntu 18.04. Talvez atualize sua resposta para também cobrir versões mais recentes do Ubuntu?
Peter Mortensen
Ou, pelo menos, marque-o, por exemplo, "Para o Ubuntu 9 ao Ubuntu 16.04:" ou similar (compus o intervalo de versões neste exemplo).
Peter Mortensen
30

Embora você não tenha mencionado qual fonte está usando ou qual terminal está se referindo, eu estou dando uma resposta geral para alterar a fonte no gnome-terminal.

Estou dando duas maneiras de fazer isso, embora ambas estejam relativamente próximas uma da outra

Maneira formal

  • Abra o terminal pressionando Ctrl+ Alt+ T.
  • Em seguida, vá no menu Editar → Perfis . Na janela de edição do perfil, clique no Editbotão
  • Em seguida, na guia Geral , desmarque Usar a fonte de largura fixa do sistema e selecione a fonte desejada no menu suspenso.

Maneira mais fácil

  • Abra o terminal pressionando Ctrl+ Alt+ T.
  • Clique com o botão direito do mouse no terminal, no menu pop-up exibido, vá para Perfis → Preferências do perfil
  • Em seguida, na guia Geral , desmarque Usar a fonte de largura fixa do sistema e selecione a fonte desejada no menu suspenso.

Estou dando duas capturas de tela abaixo:

Imagem do menu pop-up

Imagem da janela do perfil "Editar"

Anwar
fonte
11
uau, eu não sabia que era tão fácil. OBRIGADO!!!
Fawkes5
Tanto quanto posso ver, "Perfis" está em "Preferências" no Ubuntu 18.04 ou Ubuntu 18.04. Talvez atualize sua resposta para também cobrir versões mais recentes do Ubuntu?
Peter Mortensen
1

Para o Ubuntu 17.04 com o GNOME Terminal 3.20.2, as opções são um pouco diferentes. No menu, vá para Editar -> Preferências do perfil -> guia Geral. No Text Appearance section, selecione a Custom fontopção, clique na fonte selecionada e reduza o número do tamanho da fonte na parte inferior da nova janela.

patrickvacek
fonte
Sim, eu uso um tema escuro e baixo brilho para que a caixa de seleção é quase invisível
QWR
0

se você quer dizer um terminal de servidor, ou seja, nenhum sistema de janelas, apenas o console, eu gosto desta resposta :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

isto é um exemplo; você pode ver uma lista de fontes disponíveis como esta:

ls /usr/share/consolefonts

e, por algum motivo, não os tem, você pode instalá-los assim:

sudo apt-get install fonts-ubuntu-font-family-console

observe que pode ser necessário colocar o comando setfont no seu .profile ou .bashrc, pois pode ser necessário executar cada login

jmarina
fonte