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.