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.