面板（顶部栏）日期格式不反映语言和区域设置（Ubuntu 18.04 最小安装）

Question

我为英国配置的语言和地区设置，如下：

然而，面板以以下格式显示日期：'Tue May 8'

我缺少什么技巧吗？

此外，我没有看到任何地方可以使用代码进一步自定义日期格式，例如。%Y-%m-%d（对于 ISO 8601 日期格式）

我注意到有一个 GNOME Shell 扩展：日期时间格式，它似乎允许进一步定制，但如果可能的话，我宁愿使用核心功能。

这是一个类似的问题这一个，但17.10问题无人应答，而我得到的印象是GNOME在17.10有点早进入，也许没有完全形成。

更新：有一种方法（不包括扩展名），通过编辑和执行适合于实现您选择的日期和时间格式gnome.desktop localisation LC_MESSAGES的文件，描述在这里

Answer 1

这似乎是 GNOME shell 的问题。

但是您可以使用名为Clock override的GNOME shell 扩展来覆盖日期格式。它可以让你

使用您选择的新时间格式或文本覆盖 Gnome Shell 时钟。

它支持Python 的strftime格式（因此您可以设置您喜欢的"%d/%m/%y"显示格式）。