Next: infokey source format, Up: Custom Key Bindings [Contents][Index]
infokeyBy default, infokey reads a source file
($HOME/.infokey containing Info customizations. (This file is
named _infokey in the MS-DOS version, and is looked for in the
current directory if HOME is undefined.) It compiles this into
a binary format, $HOME/.info by default. GNU Info reads the
binary file at startup to override the default key bindings and
variable definitions. Synopsis:
infokey [option…] [input-file]
Besides the standard --help and --version, the only
option is --output file. This tells infokey to
write the binary data to file instead of $HOME/.info.