• dconf 혹은 gsettings 로 단축키를 편집하는게 가능하다.
  • /org/gnome/settings-daemon/plugins/media-keys : 일반 그놈 키 바인딩
  • /org/gnome/desktop/wm/keybindings : 창 관리자 키 바인딩
  • command line - How to set custom keyboard shortcuts from terminal? - Ask Ubuntu
• gnome-session-quit –power-off : <Ctrl-Alt-End>

<Ctrl><Alt>+left/right/up/down 작동안하는 상태. 해당 키 바인딩을 제거해준다.

gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "[]"

reset 명령을 사용한다.

gsettings reset org.gnome.desktop.wm.keybindings switch-to-workspace-right