need odbresize

[dd1]

need odbresize. old method of saving ODB odb as a json file, deleting old ODB, creating new ODB with new size, reloading json file is too complicated. K.O.

‌

[Stefan Ritt]

Can either be a new program, or a new flag to odbinit.

Naively, I would expect that “odbinit -s xxx” does the job. If no database is present, a new one is created. If a database exists, it does the cycle above “save, delete, re-create, load”. This way users do not have to remember yet another program.