gnome Shell용 확장 프로그램을 만들었고 Ctrl+Space와 같은 키보드 단축키를 사용하여 확장 기능을 실행할 수 있게 하고 싶습니다. 처음에 확장 기능을 만드는 데 도움이 되는 좋은 문서나 튜토리얼을 찾지 못했고, 내가 찾은 문서에는 키보드 단축키에 대한 언급도 없었습니다. 제가 생각할 수 있는 가장 간단한 해결책은 확장 기능을 실행하는 bash 스크립트를 작성한 다음 해당 스크립트를 바로 가기 키에 매핑하는 것입니다. 다음을 사용할 때 이것을 얻습니다 gjs extension.js
.
(gjs:2929): Gjs-WARNING **: JS ERROR: Error: Requiring St, version none: Typelib file for namespace 'St' (any version) not found
@extension.js:5
JS_EvaluateScript() failed
답변1
전제 조건으로 gnome-shell이 찾을 수 있는 곳에 Gnome Shell 확장을 설치해야 합니다. 이 시간은
/usr/share/gnome-shell/extensions/
시스템 전체 확장용(배포판의 패키지 관리자가 관리함)$HOME/.local/share/gnome-shell/extensions/
사용자 확장의 경우(여기에 확장을 배치합니다).
그런 다음 확장 기능을 활성화/비활성화하려면 및 gnome-shell-extension-tool
옵션을 사용하세요. 예를 들어 확장 기능을 활성화하려면 다음을 사용하세요.-e
-d
test@test
gnome-shell-extension-tool -e test@test
Gnome Control Center를 통해 이 명령에 키보드 단축키를 할당할 수 있습니다.
하지만 이것은 아마도 당신이 하고 싶은 일이 아닐 것입니다. 대신 항상 활성화되도록 확장 기능을 작성해야 합니다. 활성화되면 확장 프로그램은 gnome-shell 에 키 바인딩을 추가해야 합니다 Main.wm.addKeybinding()
. 이 키 바인딩은 확장 프로그램에 필요한 작업을 트리거합니다. 이를 수행하는 방법에 대한 구체적인 정보를 얻으려면 도움을 요청하십시오.스택 오버플로, 보다그놈 쉘 소스 코드또는 소스 코드 보기기타 확장.