When working on a problem that requires using a long command line over and over, it is convenient to create an initialization file to prevent having to reenter the switches on every run. The initialization file contains a list of settings that are translated to switches by sbsat when it is invoked. SBSAT automatically looks for sbsat.ini in the user's home directory (that is, it looks for a file ~/sbsat.ini).
To create an ini file with the default values for all available
options use the following command:
$ sbsat -create-ini > ~/sbsat.ini
The initialization file may be created and/or edited by the user.
Remark: Command line options take precedence over ini file settings. This allows short command lines with many custom settings and is useful for experimentation.
Remark: It is possible to maintain several
initialization files and load a desired one from the command line.
Do this, for example, as follows:
$ sbsat -ini myini.ini example.cnf
which loads the options of initialization file myini.ini.