Gnome 3シェルで日付形式を変更するにはどうすればよいですか？

トップパネルの日付/時刻形式を、RFC 3339 / ISO 8601に近い形式に変更したいのですが、次のいずれかです。

%F %T →2013-06-24 16:13:00

%F %a %T →2013-06-24月16:13:00

%A %F %T →月曜日2013-06-24 16:13:00

Unityはdconfのどこかに隠された設定を持っていることを知っています。これがUnityでそれを行った方法ですが、Gnome 3シェルのそのような設定は見つかりません。できれば、これらのいずれかをシステム全体の日付/時刻のロケール設定として設定したいと思います。

ターミナルを開いて設定する

gsettings set org.gnome.desktop.interface clock-show-date true

YMMW-これはFedora 19で機能しました。

マーティンの言うことに加えて、dconf-editorが動作しなかったUbuntu 14.04で次の機能が動作しました。

gsettings set org.gnome.desktop.interface clock-show-date true
gsettings set org.gnome.desktop.interface clock-show-seconds true

最終的には、Daniel Khodabakhshが作成したGNOME拡張機能を使用して、まさに望みの形式を実現することができました。ダニエルありがとう！

私はここでそれを見つけました：https : //github.com/Daniel-Khodabakhsh/datetime-format

スクリーンショット：

形式：％A | ％m-％d-％G | ％I：％M％p

次の3つの拡張機能のいずれかを試すことができます。

• フルクロック

  デフォルトの時計を、時刻、日付、曜日を示す完全な時計に置き換えます

• フルクロック2

  デフォルトの時計を、日付、週、曜日、時刻を表示するものに置き換えます。

• フォーマットクロック（開発は中止されましたが、3.16で正常に動作しているようです）

  トップパネルのクロック形式を変更します。

  develpmontは廃止されたと書かれていますが、私はそれをテストし、手動で編集してmetadata.jsonを含め3.18、動作します：

  

部分的な答え：

パネルクロックのフォーマットは簡単ではないように見えますが、クリックして開くカレンダーメニューは非常に簡単です。ここに簡単なハックがあります：

$ sudo vim /usr/share/gnome-shell/js/ui/dateMenu.js

（vimまたは他のテキストエディタ。）

「B %d, %Y」を検索し、「」に置き換えFます。セーブ。プレスAlt+ F2、r、Enter、シェルを再起動します。

親ディレクトリを検索すると、他にも試してみる価値のあるものがいくつかあります。

$ rgrep -I '%B' /usr/share/gnome-shell/js/ui/

しかし、残念ながら、パネルクロックで月の短縮名を検索しても、ここには何も返されません。

$ rgrep -I '%b' /usr/share/gnome-shell/

これらのファイルへの変更は、おそらくGnomeの更新によって上書きされるため、編集したファイルのオリジナルを保持することもできます（sudo mv [name].js [name].js.orig）。

Ubuntu 19.10の場合：

gsettings set org.gnome.desktop.interface clock-show-weekday true
gsettings set org.gnome.desktop.interface clock-show-seconds true

等

または、実行

dconf-editor

に行きorg.gnome.desktop.interfaceます。あなたは見つけるでしょうclock-show-weekday、clock-show-seconds、clock-show-dateなど。