preferences-system-timeEn versiones anteriores para cambiar el formato del reloj de GNOME se podia cambiar haciendo click con el boton secundario  eligiendo preferencias.

En las ultimas versiones de GNOME no aparece mas la opcion para el cambio del formato. Encontre esta manera alternativa de hacerlo que es un poco mas compleja que funciona.

Editamos el archivo de lenguaje de nuestro sistema que esta en /usr/share/i18n/locales/es_XX por ejemplo con el siguiente comando (previo backup por las dudas). Tenemos que reemplazar las X por el codigo del pais (Argentina: AR, Republica dominicana: DO, España: ES, etc...)

sudo gedit /usr/share/i18n/locales/es_XX

En mi caso para Argentina quedaría

/usr/share/i18n/locales/es_AR

Buscar en el archivo las siguientes lineas

am_pm "";""
t_fmt_ampm ""

y las reemplazamos  por

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

sudo locale-gen

una vez que termine reiniciamos la maquina  y el formato de hora de GNOME habra cambiado