GNOME 3：更改锁定屏幕的日期时间格式？

Question

我在 Debian GNU/Linux 9 (stretch) 上使用 GNOME Shell 3.22.3。

我使用出色的日期时间格式扩展编辑了状态栏中时间和日期显示方式的设置。但是，我无法找到任何方法来配置锁定计算机时时间和日期的显示方式。总是如此：

时:分:秒

星期几，DD 月

我想这是由我的语言环境以某种方式设置的，因为工作日确实以操作系统设置的本地语言显示。

我想改变这一点，例如删除前导零。有什么办法可以做到这一点吗？