トップ «前の日記(2015-08-19) 最新 次の日記(2015-11-04)» 編集

秘密のLinux日記(NG)

2015年
9月
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30






DEER N' HORSE
りょうすけのリンク集
りょうすけの GnuPG 公開鍵

やることリスト

  • 25 編集中検索実装
  • 10 マラソンビッグデータ()

最近のコメント

  1. 削除Nakeela Knell (01-07)
  2. 削除Thelma Trask (01-07)
  3. 削除Daralee Kassel (01-07)
Map

2015-09-15

Gnome-Terminalのヘルプウィンドウ表示ショートカットキーをコマンドラインで変更する

Gnome-Terminalのショートカットキー設定
Gnome-Terminalは、ヘルプウィンドウを表示するショートカットキーがF1にデフォルト設定されている。

これはメニューの「編集」 -> 「設定」から「ショートカットキー」を選べば一覧から設定できる。コマンドラインではどうするんだっけ、と思って調べたら gsettings を使って以下のように実行すればF12にショートカットキーを変更できた。

ちゃんと調べてないのだけど、「:/org/gnome/terminal/legacy/keybindings/」と表現される「PATH」ってどういう意味で必要なんだろう...。

gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ help F12

りょうすけ <ryosuke at deer-n-horse.jp>
PGP Finger Print: D1BF 4076 2BA9 F062 E61D 862D 43E3 EB6D E642 0EC2