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!

Bắt đầu bằng việc xem xét datastore builder và các API về vòng đời cơ sở dữ liệu liên quan khi một thực thể ObjectBox được mở, cùng với cách không gian chưa sử dụng hiện đang được thu hồi. Kết quả mà issue yêu cầu là một thao tác tùy chọn có thể giảm kích thước tệp cơ sở dữ liệu vật lý một cách an toàn trong khi vẫn bảo toàn các entity khác; hãy xác nhận hành vi dự kiến và các ràng buộc trong phần thảo luận bình luận.