Linux command
infokey 命令
文本
复制后可按需替换文件名、目录或参数。
常用示例
Compile the default key bindings file
infokey
Compile a specific input file
infokey [path/to/file]
Compile and output to a specific file
infokey -o [path/to/output] [path/to/input]
说明
infokey compiles a source file containing custom key bindings and variable settings for the GNU Info reader into a binary format. It reads $HOME/.infokey by default and writes the compiled output to $HOME/.info. The input file contains sections for defining key sequences and their associated actions. The #info section defines key bindings for Info windows, the #echo-area section defines bindings for the echo area, and the #var section sets Info variables. Custom bindings override the default Info navigation keys.
参数
- -o _FILE_
- Output compiled key file (default $HOME/.info).
- --help
- Display help information.
- --version
- Display version information.
FAQ
What is the infokey command used for?
infokey compiles a source file containing custom key bindings and variable settings for the GNU Info reader into a binary format. It reads $HOME/.infokey by default and writes the compiled output to $HOME/.info. The input file contains sections for defining key sequences and their associated actions. The #info section defines key bindings for Info windows, the #echo-area section defines bindings for the echo area, and the #var section sets Info variables. Custom bindings override the default Info navigation keys.
How do I run a basic infokey example?
Run `infokey` in a terminal, then adjust file names, paths, flags, or remote targets for your system.
What does -o _FILE_ do in infokey?
Output compiled key file (default $HOME/.info).