☰

端末でgnome javascript拡張（gjs）を実行する方法

tag-icon • tag-icon shell gnome gnome-shell
端末でgnome javascript拡張（gjs）を実行する方法

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シェルのソースコードまたはソースコードを見るその他の拡張。

関連情報