Вчера я обновился до 20.04 (GNOME desktop) с 18.04. Все прошло гладко, но у меня есть полоса внизу экрана, которой раньше не было. Кажется, это связано с рабочими пространствами. Я хотел бы скрыть ее, но не могу найти способ. Ничего в настройках GNOME или ОС и т. д. Так кто-нибудь знает, как от нее избавиться?
]
$ 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]
решение1
Эта панель выглядит как расширение GNOME. У меня на рабочем столе включена точно такая же панель. Попробуйте поискать в GNOME Tweaks в расширениях.
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]скорее всего, является виновником.