Ubuntuを12.04から14.04にアップグレードし、ワークスペースを切り替えるためのホットキー(Ctrl + Alt +矢印キー)はもう機能していません。
[システム設定]> [キーボード]> [ショートカット]でチェックして、割り当てられていることと割り当てられていることを確認しましたが、なぜ機能しないのですか?この問題を修正するにはどうすればよいですか?
私は自分で解決策を見つけました。 CompizでDesktop Wallプラグインを有効にする必要があるようです。ただapt-get install compizconfig-settings-manager
、ccsm
を実行し、「wall」を検索してオプションを見つけます。
Ubuntuでは、これが数回壊れています。最近では、12.04LTSから14.04LTS(インプレースアップグレード)に移行しました。
ワークスペースの構成設定の画面グラブ:
次の2つのコマンドを実行します。
Sudo apt-get install ubuntu-desktop
Sudo apt-get install unity
システムを再起動します
そして、試した後 Ctrl + Alt +矢印キー。ワークスペースを切り替えることができます。