Você pode usar o dconf-editor para alterar muitas das configurações (GSettings) em seu ambiente de trabalho GNOME. Para este caso, você precisa instalar o pacote dconf-tools. Execute o editor do dconf e encontre a chave apropriada para suas configurações de tempo.
por exemplo. org.gnome.desktop.interface.clock-show-date