NewClock
Show date in gnome-shell panel (and remove it from the menu)
Quick fork from Obsidien for
$ gnome-shell --version
GNOME Shell 3.4.2
Dirty edit to get ISO format (ISO 8601: YYYY-MM-DD HH:MM:SS)
Same as
$ date +"%F %T"
2014-10-09 10:55:28