As part of the setup, the user has to manually invoke the build_db step and provide the document. We could simplify this by lazily initializing the DB (parsing the document and embedding its pieces) at server/extension startup.
Check the zed_extensions_api for user-friendly functionality, e.g. progress reporting, during initialization of the extension.
As part of the setup, the user has to manually invoke the
build_dbstep and provide the document. We could simplify this by lazily initializing the DB (parsing the document and embedding its pieces) at server/extension startup.Check the
zed_extensions_apifor user-friendly functionality, e.g. progress reporting, during initialization of the extension.