5dea31058d
This adds a new commandline flag -E / --extra-space for specifying the amount of additional space to be added to the image size to work around cases where the automatically determined size turns out to not actually be enough. The value is also asked for in the "Additional options" section of the interactive mode. Fixes: #1904 |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| init.py | ||
| load.py | ||
| merge_with_args.py | ||
| pmaports.py | ||
| save.py | ||
| workdir.py | ||