Перейдите в раздел Системные настройки (в общем меню) и выберите Дата и время. Используйте выпадающее меню на Формат времени, чтобы выбрать AM/PM:
или запустите dconf-editor
, перейдите к org/gnome/desktop/interface/clock-format
и выключите Use default value
, затем установите Custom value
на 12h
:
Через терминал, запустите
gsettings set org.gnome.desktop.interface clock-format 12h
Дальнейшая настройка формата даты/времени может быть выполнена с помощью gnome-shell
расширений, смотрите ответ Даниэля здесь.