info-stnd.info: Invoking infokey

Custom Key Bindings

infokey source format

Back to Software 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'.