Gnome Shell の上部パネルには、曜日と時刻が表示されている。
gnome shell panel date time
日付も表示したいので、設定を探してみたら、
/usr/share/gnome-shell/js/ui/dateMenu.js
の中で、org.gnome.shell.clock のshow-date の値(論理値)を参照して日付表示の要否を判定しているようだった。
とりあえず、true にして動かしてみた。
gnome shell panel date time
どこか見覚えのある、OS インストール直後にアップデートしていない時のような、残念な雰囲気のある表示になった。よくある書式にしてみた。

showSeconds = true;
clockFormat = _("%Y/%m/%d(%a) %H:%M:%S");

gnome shell panel date time