Existem várias maneiras:
-
Da GUI (configurações):
Abra Configurações > Detalhes > Data e amp; Tempo . Então escolha 24 horas ou am / pm
-
Da GUI (usando o editor-dconf)
Abra o Editor do dconf (não instalado por padrão, execute
sudo apt install dconf-editor
para instalar) e navegue até org > gnome > área de trabalho > interface > clock-format e altere o formato para
'12h'
-
Da linha de comando:
Execute o comando:
gsettings set org.gnome.desktop.interface clock-format '12h'
Para reverter:
gsettings set org.gnome.desktop.interface clock-format '24h'