Desde que utilizo unbuntu el formato de la hora siempre a sido el de 24 horas, esto al principio me molestaba, y por mas que busque (la verdad no mucho :p) no sabia como cambiarlo. Con el tiempo me fui acostumbrando, y ahora que se como hacerlo no le tomo importancia. Pero quizas a muchos si les interese como cambiar esto.

Aquí les dejo el link