GNOME 3のログイン画面とデスクトップで日付/時刻のフォーマットを調整する方法はありますか？

私は特に2つの場所で書式を変更することを検討しています。

デスクトップでは、日付/時刻は「土21:05」と表示されます。「23-Jul-11 21:05」または「23 Jul 11​​ 21:05」と読みたいです。つまり、曜日、短い月名、短い年を表示するように曜日の表示を変更したいのです。

ログイン画面で、日付/時刻は「土曜日の午後9時6分」と表示されます。デスクトップと同じ（ "23-Jul-11 21:05"または "23 Jul 11​​ 21:05"）に変更するか、形式での完全な日付の優先表示（ "Saturday、23 2011年7月21:05 "）には、1日、日付、1か月、1年、および時刻（24時間形式）が表示されます。

これを調整するオプションが表示されません。私はそれが可能だと思いますが、どの設定ファイルにあるのか、どのオプションを調整するのか分かりません。

gnome-shellステータスバーと日付メニューの日時形式を変更する拡張機能を作成しました：https : //github.com/Daniel-Khodabakhsh/datetime-format

Gnome3では、2つの選択肢があります（どちらも、私が知ることができるものから、現在、あなたが探しているものすべてを実行します）。

1コマンドラインツールを使用しますgsettings。

$ gsettings set org.gnome.shell.clock show-date true

2 Gnome Tweak Toolをインストールし、その方法で日付を有効にします。

よりカスタマイズ可能なオプションはまだ実装されていないようです。