我已经从 Ubuntu 18.04 LTS 升级到 Ubuntu 19.10，并且我注意到用于显示 Dock 和数字覆盖的命令 Super + Q 不起作用。
我尝试过 dconf 编辑器，将“快捷方式”和“快捷方式文本”重新映射org/gnome/shell/extensions/dash-to-dock/到不同的组合，但仍然不起作用
有想法该怎么解决这个吗？
提前致谢
编辑1：
以下是输出：
ls -al ~/.local/share/gnome-shell/extensions/
total 12
drwxr-xr-x 3 sebastian sebastian 4096 mar 15 21:06 .
drwx------ 3 sebastian sebastian 4096 mar 15 21:06 ..
drwxr-xr-x 5 sebastian sebastian 4096 mar 15 21:06 [email protected]
输出来自：
ls -al /usr/share/gnome-shell/extensions/
total 20
drwxr-xr-x 5 root root 4096 oct 17 09:27 .
drwxr-xr-x 6 root root 4096 mar 14 21:32 ..
drwxr-xr-x 2 root root 4096 oct 17 09:27 desktop-icons@csoriano
drwxr-xr-x 3 root root 4096 oct 17 09:27 [email protected]
drwxr-xr-x 3 root root 4096 mar 14 21:34 [email protected]