답변:
업그레이드 후 동일한 문제가 발생했습니다. dconf 경로는 org/gnome/settings-daemon/plugins/media-keys입니다. 미리 정의 된 바로 가기가 그곳에 있습니다. 사용자 정의 바로 가기는 아래 custom-keybindings/custom0(또는 custom1 등) 아래 에 있습니다.
변경 <Super>에 <Mod4>내 바로 가기에 문제를 해결했습니다.
이 gnome-shell 버그 보고서는 Super + Key 단축키의 문제점을 설명하고 해킹 해결 방법을 자세히 설명합니다 (문제가 완전히 해결되었습니다!).
https://bugzilla.gnome.org/show_bug.cgi?id=659899
기본적으로 문제는 사용자 정의 단축키가 gnome-settings-daemon에 의해 처리되어 Super 키를 올바르게 선택하지 못한다는 것입니다. 창 관리자 (이 경우 mutter)는 Super 키를 볼 수 있습니다. 따라서 Olivier Crete는 사용자 정의 바로 가기 정의를 읽고 머더까지 전달하는 확장 기능을 작성했습니다. 나는 확장을 설치했고 그것은 나를 위해 잘 작동합니다. 이전 주석가들이 말한 것처럼 이중 키 누르기가 필요하지 않습니다.
확장 프로그램은 거부 되었기 때문에 공식 그놈 확장 프로그램 사이트에 없습니다 (여기에서 재미있는 리뷰를 읽을 수 있습니다 : https://extensions.gnome.org/review/1658 ... 분명히 리뷰어는 이해력에 문제가 있습니다! ). 그러나 버그 보고서에서 주석 33을 통해 확장 프로그램을 다운로드 할 수 있습니다.
~ / .local / share / gnome-shell / extensions 디렉토리에 파일의 압축을 풀고 gnome-shell (Alt + F2, r)을 다시 시작한 후 Gnome Tweak Tool을 시작하고 확장 기능을 활성화하십시오. 그러면 잘 가야합니다.
편집 : 한 가지 더. 사용자 정의 바로 가기가 6 개 이상이고이 확장을 활성화하면 gnome shell이 폭발합니다. 확장 하드 코드는 10 개의 단축키를 지원하지만 6은 컴파일 된 지원 만 지원합니다. 임의의 수의 단축키를 지원하려면 스키마 디렉토리에서 org.gnome.shell.extensions.command-keybindings.gschema.xml 파일을 편집하십시오. 더 많은 바인딩 전체를 복사 / 붙여 넣기하십시오 (그 방법을 자명해야합니다-바인딩 번호를 증가시켜야합니다). 그런 다음 스키마 디렉토리에서 "glib-compile-schemas"를 실행하십시오. 마지막으로 extension.js 파일에서 "for (let i = 0; i <10; i ++)"줄을 찾아 10을 설정 한 총 바인딩 수로 변경하십시오. 이제 더 많은 사용자 정의 단축키를 지원해야합니다. 휴! 아무도 그놈 3이 쉬웠다 고 말하지 않았습니다! 아 잠깐만 ...
데비안 위지 (Debian Wheezy)에서도 같은 문제가 있었고 dconf에서 "Super"를 "Mod4"로 변경했습니다. 이전 단축키가 다시 나오지만 문자 키를 두 번 누르는 것은 여전히 성가신 일입니다.
어쨌든 고마워! 그들이 곧 고칠 수 있기를 바랍니다 ...