Ubuntu 18.04の時計

Ubuntu 18.04のデスクトップに表示される時計。
画面上端の中央に表示されるのはまあいいのですが、
曜日と時刻のみなのは不便極まりない。
日付が表示できないものかと調べた結果、
かなり面倒ですができることが判明しました。

まずはツールのインストールから。以下を実行します。

# apt install chrome-gnome-shell

次いで標準のウェブブラウザ[Firefox]を起動して
https://addons.mozilla.org/ja/firefox/addon/gnome-shell-integration/を開き、
[+Firefoxへ追加]をクリックして
[GNOME Shell integration]をインストール。
その後https://extensions.gnome.org/extension/1462/panel-date-format/を
開いてページ内の[OFF]を[ON]に変更すると
ダイアログウィンドウが現れるので[インストール]を選択。
これで準備が整いました。

あとは好みの表示形式にするだけ。例えば

$ dconf write /org/gnome/shell/extensions/panel-date-format/format "'%Y/%m/%d\(%a\) %H:%M:%S'" 

を実行すると直後に時計の表示が
"2019/05/01(水) 13:05:06"のように変わります。
ちなみにこの変更はアカウント単位に管理されるようです。