Introduction

自宅では再現しなかったのですが、会社の開発機で現象が発生したため対処法をメモ。
自宅のUbuntu18は Ubuntu 18.04.3 LTS だったがそれが起因しているだろうか。

How to resolve?

下記のページで対処法が載っていました。

GNOME Tweak toolをインストールし適切な設定を行うことでアイコンとDockを復活させることが可能である。

1
2
$ sudo apt-get update
$ sudo apt-get install gnome-tweak-tool

Tweakで起動

Desktopからアイコンを表示できる

AppearanceでThemeやアイコンを変更可能