Gnomeパネルの時間形式を変更するには？

Gnomeパネルに24時間形式で時刻が表示されますが、午前/午後に変更したいと思います。

（集約メニューから）[システム設定]に移動し、[ 日付と時刻 ]を選択します。時間形式のドロップダウンメニューを使用して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拡張機能を介して行うことができます。ダニエルの回答はこちらを参照してください。

2018年11月、今は日付と時刻が設定システムにないため、回答のコマンドライン方式であるdconf-editorを使用しようとしていました。もう少し見てみると、詳細に日付と時刻が見つかりました。「詳細」は、日付と時刻の形式を詳細に埋め込んだものです。あなたが私を動かして再び設定を探すようになった餌をあなたに投げられるまで、私はあきらめました。

dconf-editorをチェックアウトしました。ここにはありませんでした。sudo apt-get install dconf-editor次に：org、gnome、デスクトップ、インターフェース、時計の形式：「12時間」または「24時間」をクリックし、12時間と24時間の2つの選択肢のドロップダウンリストから選択します。

dconf-editorは何かを追加しました。それ以前にSettings.Details.DateAndTimeで変更を加えていましたが、システム内のメニューの再読み取りを行う必要があることを通知しました。