GNOME端末(F1-F12)のすべてのファンクションキーを放します。

GNOME端末(F1-F12)のすべてのファンクションキーを放します。

Fキーを使用していますが、gnome-terminal内部の他のキーに再マップする必要があるため、すべてのFキーを離す必要がありますvim。どうすればいいですか?

私はUbuntu 13.04を実行しています。

答え1

ソースコードを変更したくない場合は変更できません。F1設定が難しいですねすべてのアプリケーションページでなくても、ほとんどの助けを借りてF10を無効にすることはできますが、それでもデフォルトのシェルでそのヘルプを見る~ことができます。これはTTYでも見ることができます。

答え2

ハードコーディングされていません(ただし、一部のプログラムは端末内で実行されます)。可能例)。

Ubuntu 13.04を見ると、GNOME端末のバージョンは3.61で、ダイアログボックスの修正をサポートしています。キーボードショートカット:

  • あなたはアクセスできます編集するメニューを選択して「キーボードショートカット...」
  • ダイアログボックスで項目をクリックして変更できます(右側の列ヘッダーに次のように表示されます)。ショートカットキー)。
  • クリックすると、テキストが一時的に次に置き換えられます。新しいアクセラレータ
  • タイプこの機能を再割り当てするキーです。
  • 変更したいすべてのキーに対してこの手順を繰り返します。

関連情報