I'm using GNOME Shell 3.22.3 on Debian GNU/Linux 9 (stretch).
I've edited the settings for the way time and date is displayed in the Status bar using the excellent Datetime format extension. However, I haven't been able to find any way to configure the way the time and date is displayed when I lock the computer. It's always:
weekday, DD month
I suppose this is set by my locale somehow, as the weekday is indeed displayed in my local language as set for the OS.
I'd like to change this, for example removing the leading zero. Is there any way of doing this?