38.4. Default command line arguments

It gets annoying to retype --arch aarch64 for every single command, or to remember --config setups.

So simplify that, do:

cp config.py data/

and then edit the data/config file to your needs.

Source: config.py

You can also choose a different configuration file explicitly with:

./run --config data/config2.py

Almost all options names are automatically deduced from their command line --help name: just replace - with _.

More precisely, we use the dest= value of Python’s argparse module.

To get a list of all global options that you can use, try:

./getvar --type input

but note that this does not include script specific options.