Ubuntu 17.10以降では、時計を12時間形式に変更するにはどうすればよいですか？
GNOMEを使用するUbuntu 17.10で、時計を12時間形式に変更するにはどうすればよいですか？そして、より難しい修辞的な質問のために、なぜUbuntuはそのような基本的な機能を隠さざるを得ないと感じているのでしょうか？
Activitiesをクリックし、「設定」を検索して起動します。サイドバーの下部にあるDetailsをクリックし、「Date＆Time」。
時間形式を変更するオプションがあります。
より多くのカスタマイズを行うオプションについては、 my answer here で説明されているように、「 Clock Override 」というGNOME Shell拡張機能を使用できます。
検索バーで「時間」を検索すると、「日付と時刻」設定が表示されます。それをクリックして、「AM/PM」に変更します。