GNOME 2
Não sei exatamente como fazer isso, mas aqui estão algumas coisas para investigar.
-
gdm cache dir. Eu não sei como mudar isso, mas achei isso: link . Parece que existe um arquivo dmrc com algumas configurações relacionadas ao GDM.
por exemplo
Meu arquivo está localizado aqui para o usuário "saml",
/var/cache/gdm/saml/dmrc
.[Desktop] Language=en_US.utf8 Layout=us
-
gnome-control-center
Existem várias configurações acessíveis através do painel de controle (
gnome-control-center
) para o GNOME, o que pode permitir que você altere esta configuração. -
Documentos oficiais
A documentação oficial do GDM está localizada aqui para as várias versões. Olhando através dele, não vi um método para alterar o formato da hora.
GNOME 3
$ sudo -u gdm dbus-launch dconf write \
/org/gnome/desktop/interface/clock-format "\"12h\""
Altere o formato para '24h' para o formato de 24 horas.