20.04にアップグレードすると、下部にバーが表示されます
昨日18.04から20.04(GNOMEデスクトップ)にアップグレードしました。すべてがスムーズに進みましたが、以前は画面の下部になかったバーがあります。ワークスペースに関連しているようです。非表示にしたいのですが、方法が見つかりません。GNOME TweaksやOS設定などには何もありません。それで、誰かが取り除く方法を知っていますか?
$ ls -al ~/.local/share/gnome-shell/extensions
total 12
drwxrwxr-x 3 dave dave 4096 Feb 24 2019 .
drwx------ 3 dave dave 4096 Aug 16 00:29 ..
drwxrwxr-x 4 dave dave 4096 Feb 24 2019 [email protected]
$ ls -al /usr/share/gnome-shell/extensions
total 68
drwxr-xr-x 17 root root 4096 Aug 14 23:51 .
drwxr-xr-x 7 root root 4096 Aug 15 00:36 ..
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 23:51 desktop-icons@csoriano
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 native-window-placement@gnome-shell-extensions.gcampax.github.com
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 screenshot-window-sizer@gnome-shell-extensions.gcampax.github.com
drwxr-xr-x 3 root root 4096 Aug 14 22:03 [email protected]
drwxr-xr-x 3 root root 4096 Aug 14 22:16 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
回答
Rotartsi
そのバーはGNOME拡張のように見えます。デスクトップで有効になっているのとまったく同じバーがあります。拡張機能の下にあるGNOMETweaksを調べてみてください。
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]
おそらく犯人です。