É 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

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