Option to shrink unused space

Did not find any info on that, so decided to ask here - is there (or planned) an option to shrink (e.g. compact the database)?

We're using objectbox for quite a long time for a production app one entity there is used to collect various loggable information for further sending it to a server. Successfully sent entities gets removed from the database, however, the physical db file still grows constantly. (which is understandable)

I understand we can always delete the file before creating the ObjectBox instance in order to reduce the unused space, however there are other entities there so we'll need save and recreate them somehow in the new (emptied) datastore. Thus, kind of an option to the builder like .shrinkOnOpen() would be nice to have, so app may check the database size during the initialization process and shrink it when necessary.

Thanks!

先檢視 ObjectBox 執行個體開啟時所涉及的 datastore builder 和資料庫生命週期 API，以及目前如何回收未使用的空間。issue 要求的結果是一項可選操作，在保留其他實體的同時安全地縮小實體資料庫檔案；請在留言討論中確認預期行為和限制。