Next: , Up: Custom Key Bindings


12.1 infokeyの呼び出し

infokeyは,Infoのカスタマイズ方法を含んでいるソースファイル(デ フォルトは$HOME/.infokey1)を,バイナリフォーマット(デフォルトは $HOME/.info)にコンパイルします.デフォルトのキーバインドと変数定 義に優先させるため,GNU Infoは開始時にバイナリファイルを読み込みます.構 文は以下のとおりです.

     infokey [option...] [input-file]

標準的な--help--version以外では,唯一のオプションと して--output fileがあります.これでinfokeyにバ イナリデータを書き込む$HOME/.infoの代わりのfileを伝えます.


Footnotes

[1] MS-DOSバージョンではこのファイ ルは_infokeyと命名されていて,HOMEが定義されていない場合は, カレントディレクトリで探します.