Datetime Format

Gnome extension which allows users to customise the datetime format on the status bar and date menu.
Changing formats:
Install and run gnome-tweak-tool to toggle and modify the different format targets.
Alternatively, you can list and change GSettings under org.gnome.shell.extensions.datetime-format.*.