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-dtest@test
gnome-shell-extension-tool -e test@test
Gnome Control Centerを使用すると、このコマンドにキーボードショートカットを割り当てることができます。
しかし、これはおそらくあなたがしたいことではありません。代わりに、常にアクティブになるように拡張機能を作成する必要があります。有効にすると、拡張機能はgnome-shellにキーバインディングを追加する必要がありますMain.wm.addKeybinding()。このキーバインディングは、拡張機能に必要なアクションをトリガーします。これを行う方法に関する具体的な情報を入手するには、ヘルプをリクエストしてください。スタックオーバーフロー、よりGNOMEシェルのソースコードまたはソースコードを見るその他の拡張。