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-terminalprofile.Abragnome-terminalenaopçãodemenuEditProfilePreferences.NaparteinferiordaguiaGeneral,tenhaumaopçãoCustomfont.Desmarque-oseestivermarcado(comoémostradonafiguraabaixo)ouescolhaafontemonoespaçadadesejada.DentrodoUnityesteéo"Ubuntu Mono Regular" com tamanho 13.
