First let me say that the new extensions support in Ubuntu 17.10/Gnome 3 is a great feature.
My question has to do with formatting the time and data that appear in the upper bar at the top of the user interface (Gnome 3) after logging in. Note that I am running Ubuntu 17.10, but I login using Xorg instead of Wayland (using the gear below my login name).
Background: I want my display to be dayofweekfullname monthfullname date year, hours (12-hour format) minutes seconds am/pm.
1) I first used gesttings. I was able to configure the date year, hours (12-hour format) minutes seconds am/pm properly. However, both the day of the week and the month name still appeared as abbreviations.
2) I then tried dconf and entered in the custom string (e.g. %A %B ...) in the Custom Time Format field. My first observation was that that the changes I made with gsettings were not shown here. Why would that be? And also, when I entered and applied the new custom settings in dconf they were not applied to the time/date format at the top of the screen. Again, why?
3) I then found out about the Clock Overide Extension--it worked like a charm--now I have my display showing the date and time formatted exactly as I want! Problem solved.
4) But... after setting the format with Clock Overide I went back to dconf and noticed that none of the custom changes made in Clock Overide appear there. Why? I would think that if I changed how the date and time was formatted, any tool that allowed my to do so would reflect the custom changes made via another tool/method. Please clarify for my understanding.