Ubuntu でキーボードショートカットをすばやく作成する方法

最近インストールしました Ubuntuの20.04 私のデスクトップコンピュータ上で。拾えないこと以外はすべて順調でしたスクリーンショット Prt SysRq キーを使用するデルのキーボード。そのため、この問題について Google で検索したところ、問題の解決策が見つかりました。

回避策は、カスタムキーボードショートカットを作成することでした。同様のスクリーンショット関連の問題に直面している場合、または Ubuntu でカスタムキーボードショートカットを作成する一般的な方法を知りたい場合は、それがここで説明する内容であることを知っていただければ幸いです。

キーボードショートカットは本当に便利です。バッチスクリプト、サードパーティアプリケーション、さらには特定の Web ページを起動するように設定できます。たとえば、次のように設定します Alt +スペース テキストスニペットを保存するバッチスクリプトを実行するには、電子メールアドレス、クレジットカード番号などをすぐに入力できます。さらに、Ubuntu では、これらすべてのキーボードショートカットを組み込みで作成できます。 Ubuntu でキーボードショートカットをすばやく作成する 2 つの方法を次に示します。

Ubuntu でキーボードショートカットをすばやく作成する方法

1. コマンドライン

コマンドラインに慣れている場合は、これを行う方法も 2 つあります。 dconf و gsettings。すでに dconf をインストールしている場合は、このソリューションから始めてください。それ以外の場合は、gsettings 経由で実行します。まず最初に、キーボードバインドリストが空かどうかを確認する必要があります。空の場合は、以前にショートカットを作成したことがない限り、通常はそのようになります。そのためには、次のコマンドを使用してキーボードショートカットのリストを確認します。

gsettings は org.gnome.settings-daemon.plugins.media-keys のカスタムキーバインディングを取得します。

上記のような結果が得られない場合は、まずカスタムリストを作成する必要があります。リストに「」という名前を付けます。custom0”。任意の名前を選択できますが、内容をわかりやすく整理するために、「custom0」を使用できます。これを行うには、次のコマンドを使用します。

gsettings は org.gnome.settings-daemon.plugins.media-keys のカスタムキーバインディングを "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']" に設定します

コマンドが正常に完了したら、次のコマンドを再度実行して、カスタムキーリストが作成されたことを確認します。次のような出力が表示されるはずです。

gsettings は org.gnome.settings-daemon.plugins.media-keys のカスタムキーバインディングを取得します。

次に、作成したばかりの「custom0」メニューにメインのショートカットを追加する必要があります。これには、最初にショートカットに名前、ファイルの場所、およびそれに応じたショートカットキーを与える 3 つのコマンドのセットが必要です。たとえば、「」を設定したいのですが、Ctrl + Alt + Page_Down」をクリックして Gedit エディタを起動します。そこで、「」を使用して Gedit アプリケーションのファイルパスを見つけました。whereis”。以下はこれを行うために使用したコマンドです。

gsettings は org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ に名前 "'gedit_launch'" を設定します

gsettings は org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/binding を設定します ''' Page_Down'"

gsettings は org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ コマンド "'/usr/bin/gedit'" を設定します

すべてのコマンドが正常に完了すると、キーボードショートカットからアプリケーションを起動できるようになります。さらに、最後に次のエントリも表示されます。 キーボード.

ショートカットを変更したい場合は、GUI を介して変更できます。あるいは、同じコマンドを実行すると、以前の設定が上書きされます。

2. グラフィカルユーザーインターフェース

比較的直感的なオプションである GUI を介してショートカットを作成することもできます。これを行うには、設定メニューに進み、「」をクリックします。デバイス”。次に、タブをクリックします キーボード。あるいは、GNOME 検索バーに「キーボード」と入力することもできます。

「キーボード」セクションで下にスクロールし、「」をクリックします。+"

ショートカットを追加するポップアップメニューでは、名前、ファイルパス、キーボードショートカットを入力する必要があります。たとえば、「」を設定したいのですが、Alt + Ctrl + Page_Down」をクリックして Gedit アプリケーションを起動します。そこで、コマンド「」を使用して gedit アプリケーションのパスを調べました。whereis”。さらに、キーボードショートカットを追加するには、「」を押すだけです。ショートカットを設定…」と入力すると、キーストロークのプロセスが自動的に記録されます。

すべてのパラメータを入力したら、ボタンをクリックします "添加" 右上隅にあります。