18.04ダッシュでのアプリ切り替えのショートカットと競合するワークスペースのキーボードショートカットの変更
次の手順を実行しました： 18.04ワークスペースを切り替えるためのショートカットを変更する-Ubuntuに問い合わせる 、次の図に示すように、キーボードショートカットを変更して別のワークスペースに切り替える：
ほとんどの場合、これは機能します。しかし、時々私が設定したこのショートカットは Super+1 など、他のショートカットと競合します。次の図に示すように、ダッシュまたはUbuntu Dock（画面の左端にある）のアイコンが切り替わります（各アイコンの下部に数字が表示されることがわかります）。
垂直ダッシュでアプリを切り替えるショートカットを完全に無効化または変更して、ワークスペース切り替えショートカットと競合しないようにするにはどうすればよいですか？
このコマンドは、ホットキーの動作を無効にします。
gsettings set org.gnome.Shell.extensions.dash-to-dock hot-keys false
このコマンドは、数字の表示を無効にします。
gsettings set org.gnome.Shell.extensions.dash-to-dock hotkeys-overlay false
これらの動作のショートカットを変更したい場合。
dconf-editorを開きます（まだインストールされていない場合は、Sudo apt install dconf-editorを使用します）
たとえば、app-hotkey-8を'<Super>'8から'<Ctrl>8'に変更するか、任意の有効なショートカットを使用します。
