Acabei de instalar o Ubuntu 20.04 e após configurar tudo no GNOME Shell e extensões, percebi que o nome do dia atual não aparece acima da data na seção do calendário como mostra a imagem abaixo.
No entanto, se eu alterar o tema do shell no GNOME Tweaks, o nome do dia aparecerá.
Não importa qual tema eu escolha. Até mesmo escolher o tema da primeira foto fará a mágica. Existe alguma maneira de corrigir isso?
Responder1
Percebi que não só mudando o tema o nome do dia voltará a aparecer, mas também redimensionando a fonte do sistema ou redimensionando a tela. Então, uma solução permanente é criar um script que seja executado na inicialização, como este:
#!/bin/bash
set -eu
gsettings set org.gnome.desktop.interface text-scaling-factor 2
sleep 10s
gsettings set org.gnome.desktop.interface text-scaling-factor 1
Coloquei 10 segundos porque no meu laptop com menos que isso o script não funciona. Você pode alterar esse valor de acordo com o seu sistema.