Next: , Up: Custom Key Bindings   [Contents][Index]


12.1 Invoking infokey

By 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.