Edita el archivo de lenguaje /usr/share/i18n/locales/es_XX por ejemplo con el comando (previo backup por las dudas)
Citar:
sudo gedit /usr/share/i18n/locales/es_XX
en donde XX es el codigo del pais Argentina: AR, Republica dominicana: DO, España: ES, etc... en mi caso por ejemplo es
Citar:
/usr/share/i18n/locales/es_AR
Buscar en el archivo las siguientes lineas
Citar:
am_pm "";""
t_fmt_ampm ""
y reemplazalas por
Citar:
am_pm "<U0041><U004D>";"<U0050><U004D>"
t_fmt_ampm "<U0025><U0049><U003A><U0025><U004D><U003A><U0025> <U0053>/
<U0020><U0025><U0070>"
guarda el archivo y desde la consola ejecuta
Citar:
sudo locale-gen
una vez que termine reiniciar la maquina y el formato de hora de gnome habra cambiado