在带有 GNOME 的 Ubuntu 17.10 中，如何将时钟更改为 12 小时格式？也许对于一个更困难的修辞问题，为什么 Ubuntu 觉得有必要隐藏这样的基本功能？
clock time gnome-shell 17.10
17.10 ×1
clock ×1
gnome-shell ×1
time ×1