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

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

小组却以以下格式显示日期：“ 5月8日星期二”

我有想念的招吗？

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

我注意到，有一个GNOME Shell扩展：Datetime格式，它似乎允许进一步自定义，但我宁愿尽可能使用核心功能。

这个问题与此类似，但是17.10问题没有得到答案，我给人的印象是17.10中的GNOME有点抢先体验，也许还没有完全形成。

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