La mise à niveau vers 20.04 est accompagnée d'une barre en bas

Question

J'ai mis à niveau vers 20.04 (bureau GNOME) à partir du 18.04 hier. Tout s'est bien passé mais j'ai une barre que je n'avais pas auparavant en bas de l'écran. Cela semble être lié aux espaces de travail. J'aimerais le cacher mais je ne trouve pas le moyen de le faire. Rien dans GNOME Tweaks ou dans les paramètres du système d'exploitation, etc. Est-ce que quelqu'un sait comment s'en débarrasser?

]

$ 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

Cette barre ressemble à une extension GNOME. J'ai une barre exactement comme celle activée sur mon bureau. Essayez de chercher dans GNOME Tweaks sous les extensions.

drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected] est probablement le coupable.