Por padrão, em gnome-terminal
deve ser usada uma fonte monoespaçada . Aparentemente, por algum motivo, sua fonte monoespaçada padrão é alterada nas configurações. Para alterar o valor padrão (todo o sistema), você pode usar a ferramenta dconf-editor
. Instale-o pelo comando:
sudo apt install dconf-editor
Em seguida, abra o aplicativo e pressione Ctrl + F e encontre a configuração monospace-font-name
. O primeiro resultado deve estar em org
> gnome
> interface
como mostrado na figura a seguir. Se a linha de opção estiver em negrito, isso significa que esse não é o valor padrão. Selecione-o e use o botão Definir como padrão no canto inferior direito.
AtualmenteeunãotenhooGnomeShellinstalado,masprovavelmenteessasconfiguraçõessãoasmesmasquenaUnity.
Seoacimanãoajudar,vocêpoderáverificarsuasopçõesatuaisdegnome-terminal
profile.Abragnome-terminal
enaopçãodemenuEdit
ProfilePreferences
.NaparteinferiordaguiaGeneral
,tenhaumaopçãoCustomfont
.Desmarque-oseestivermarcado(comoémostradonafiguraabaixo)ouescolhaafontemonoespaçadadesejada.DentrodoUnityesteéo"Ubuntu Mono Regular" com tamanho 13.