I just installed Ubuntu 18.04 and was not able to set proper ISO8601 format for the date time in the top bar so I installed this plugin. In the readme it says that I can use the gnome-tweak-tool or use the gsettings but I can't find the proper schema with gsettings.
$ gsettings list-keys org.gnome.shell.extensions.datetime-format
No such schema “org.gnome.shell.extensions.datetime-format”
$ gsettings list-schemas | grep date
com.ubuntu.update-notifier
com.ubuntu.update-manager
org.gnome.settings-daemon.plugins.datetime
org.gnome.desktop.datetime
$ gnome-shell --version
GNOME Shell 3.28.1
Any pointers towards a solution would be much appreciated.
I just installed Ubuntu 18.04 and was not able to set proper ISO8601 format for the date time in the top bar so I installed this plugin. In the readme it says that I can use the gnome-tweak-tool or use the gsettings but I can't find the proper schema with gsettings.
Any pointers towards a solution would be much appreciated.