Como usar no Terminal uma fonte baixada da internet?

[swatquest]

Para gtk eu uso o tilix

Tilix: A tiling terminal emulator

E remove o gnome-terminal

[Tuxraldo]

Ia voltar aqui pq baixei a iso do Mint com Cinnamon e tive o mesmo problema. Não consegui de jeito nenhum fazer essa fonte funcionar no gnome-terminal. Com o live cd do Cinnamon, baixei o xfce4-terminal e funcionou.

Ah, se quiser deixar o terminal igual ao meu (só vale para o bash). É só abrir o arquivo .bashrc (é um arquivo oculto que tem dentro da sua pasta home) e adicionar o seguinte conteúdo, no final do arquivo:

export PS1="$ [\w] >> "

Depois é só fechar e abrir o terminal novamente. A paleta de cores que estou usando é a “pastel escuro” (normalmente, essa paleta vem disponível na maioria dos terminais), o fundo tá na cor “#3B4252” e a fonte “#d8dee9”.