linux:gnome:shortcut

문서의 이전 판입니다!

Gnome Shortcut

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>

IntelliJ Idea 대응 키바인딩 변경

<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 "[]"

linux/gnome/shortcut.1591947576.txt.gz · 마지막으로 수정됨: 2020/06/12 16:39 저자 kwon37xi