The Language & Region Settings I configured for the UK, as follows:
Yet the Panel shows the Date in format: 'Tue May 8'
Is there a trick I'm missing?
Also, I don't see anywhere to further customize the date format using the codes, eg. %Y-%m-%d (for ISO 8601 date format)
I have noted that there is a GNOME Shell Extension: Datetime Format, which appears to allow further customisation, but I'd rather use the core functionality if at all possible.
This is a similar question to this one, but the 17.10 question goes unanswered, and I got the impression that GNOME in 17.10 was somewhat early-access and perhaps not fully formed.
Update: There is a way (without extension) to achieve a date and time format of your choosing by editing and implementing the appropriate gnome.desktop localisation LC_MESSAGES file, as described here
Best Answer
It seems to be an issue with GNOME shell.
But you can override the date format using a GNOME shell extension called Clock override. It lets you
It supports Python's
strftimeformat (so you'll be able to set your preferred"%d/%m/%y"format to display).