buntu 18.04をインストールしましたが、次の問題があります。
トップパネルの日付をデフォルトの24h形式ではなく12h形式に変更しようとしましたが、設定またはgnome-tweaks
ツールに編集可能なオプションが見つかりませんでした。
ここで助けを見つけたいと思います。
いくつかの方法があります。
GUIから(設定):
設定>詳細>日付と時刻を開きます。次に、24時間または午前/午後を選択します
GUIから(dconf-editorを使用)
Opendconf Editor(デフォルトではインストールされず、実行
Sudo apt install dconf-editor
インストールする)、参照 org > gnome > desktop > interface > clock-format、形式を'12h'
に変更します
コマンドラインから:
コマンドを実行します:
gsettings set org.gnome.desktop.interface clock-format '12h'
元に戻します:
gsettings set org.gnome.desktop.interface clock-format '24h'