Ubuntu 18.04 LTS から Ubuntu 19.10 にアップグレードしましたが、ドックと数字オーバーレイを表示するためのコマンド 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]