Acabo de instalar Ubuntu 20.04 y después de configurar todo en GNOME Shell y las extensiones, noté que el nombre del día actual no se muestra encima de la fecha en la sección del calendario como se muestra en la imagen a continuación.
Sin embargo, si cambio el tema del shell en GNOME Tweaks, aparece el nombre del día.
No importa qué tema elija. Incluso elegir el tema de la primera imagen hará magia. ¿Hay alguna forma de arreglar esto?
Respuesta1
Me di cuenta de que no sólo cambiando el tema volverá a aparecer el nombre del día, sino también cambiando el tamaño de la fuente del sistema o cambiando el tamaño de la pantalla. Entonces, una solución permanente es crear un script que se ejecute al inicio, 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
Puse 10 segundos porque en mi computadora portátil con menos de eso el script no funciona. Puede cambiar ese valor según su sistema.