Ubuntu Gnome 18.10 トップバーの日付表示がおかしい

次に従って、修正(?)する。
Ubuntu 18.04 のトップバーの時計の表示形式を変更する@Sickly Life Blog
「西暦/月/日 (曜日) 時:分　という表示にしたい場合」の方法で、
【2019/01/12 (土) 20 : 33】のような表示にできました。