我为gnome创建了一个扩展,希望能够使用键盘快捷方式(类似于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发布于 2016-03-24 19:20:26
作为先决条件,Gnome扩展必须安装在gnome可以找到它的地方。这是在
/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控制中心为此命令分配键盘快捷方式。
话虽如此,但这可能不是你想要做的。相反,您应该编写扩展,以便始终启用它。启用后,扩展应该通过Main.wm.addKeybinding()向gnome添加一个键绑定。此键绑定触发所需的扩展操作。有关如何执行此操作的详细信息,请在堆栈过流上寻求帮助,请参阅gnome-shell源码或其他扩展的源代码。
https://unix.stackexchange.com/questions/271901
复制相似问题