L'aggiornamento a 20.04 è arrivato con una barra in basso

Question

Ho aggiornato alla 20.04 (desktop GNOME) dalla 18.04 ieri. È andato tutto liscio, ma ho una barra che prima non avevo nella parte inferiore dello schermo. Sembra essere qualcosa correlato agli spazi di lavoro. Vorrei nasconderlo ma non riesco a trovare un modo per farlo. Niente in GNOME Tweaks o nelle impostazioni del sistema operativo ecc. Quindi qualcuno sa come sbarazzarsi?

]

$ 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 [e-mail]
drwxr-xr-x  2 root root 4096 Aug 14 22:15 [email protected]
drwxr-xr-x  2 root root 4096 Aug 14 22:15 [e-mail]
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]

Answer 1

Quella barra sembra un'estensione GNOME. Ho una barra esattamente come quella abilitata sul mio desktop. Prova a cercare in GNOME Tweaks sotto le estensioni.

drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected] è probabilmente il colpevole.