need odbresize
Issue #329
new
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.
Comments (2)
-
-
reporter - marked as enhancement
- Log in to comment
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.