パネル（上部バー）の日付形式に言語と地域の設定が反映されない（Ubuntu 18.04最小インストール）

Question

次のように、英国用に設定した言語と地域の設定：

それでも、パネルには「Tue May 8」という形式で日付が表示されます

行方不明のトリックはありますか？

また、コードを使用して日付形式をさらにカスタマイズする場所はありません。％Y-％m-％d（ISO 8601日付形式の場合）

GNOME Shell Extension：Datetime Formatがあり、これをさらにカスタマイズできるように見えますが、可能な限りコア機能を使用したいです。

これは this oneに似た質問ですが、17.10の質問には答えがありません。17.10のGNOMEは早期アクセスであり、おそらく完全に形成されていないという印象を受けました。

更新：適切なgnome.desktopのローカリゼーションLC_MESSAGES ファイル、説明通りここ

pomsky · Accepted Answer

GNOME Shellの問題のようです。

ただし、 Clock override と呼ばれる GNOME Shell拡張を使用して日付形式をオーバーライドできます。それができます

Gnome Shellの時計を新しい時間形式または選択したテキストで上書きします。