настройки часов на экране загрузки ubuntu 17.10 gnome

Ubuntu 17.10, gnome 3.26.1 (xorg)

Если я запустил свой компьютер, он загрузится и отобразит экран входа в систему. Если я НЕ вхожу в систему, но просто позволяю ему сидеть некоторое время, в конце концов я получаю экран, который показывает мне время. Затем мне приходится «прокручивать» этот экран, чтобы увидеть экран входа в систему.

Что касается экрана с часами, которые появляются, если я не вхожу в систему сразу: как мне изменить эти часы? В настоящее время это 24-часовой формат, я хотел бы изменить это. (То же самое для часов на верхней панели на самом экране входа в систему: как изменить этот формат?)

(Хорошо помните: я НЕ говорю о экране блокировки, который появляется после того, как я уже вошел в систему .)