Ayer actualicé a 20.04 (escritorio GNOME) desde 18.04. Todo salió bien pero tengo una barra que antes no tenía en la parte inferior de la pantalla. Parece ser algo relacionado con los espacios de trabajo. Me gustaría ocultarlo pero no encuentro la manera. Nada en GNOME Tweaks o la configuración del sistema operativo, etc. Entonces, ¿alguien sabe cómo deshacerse?
]
$ 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]
Respuesta1
Esa barra parece una extensión de GNOME. Tengo una barra exactamente igual a esa habilitada en mi escritorio. Intente buscar en Ajustes de GNOME en extensiones.
drwxr-xr-x 2 root root 4096 Aug 14 22:15 [email protected]es probablemente el culpable.