usage: repo2wasm [-h] [--ide {jupyterlab,notebook}] [-f] [-o OUTPUT_DIR]
[--run | --no-run] [--port PORT] [--info | --debug]
[--version]
[repository]
Convert Git repository into integrated development environment (IDE) powered
by Wasm.
positional arguments:
repository Repository to build. Default to current directory.
options:
-h, --help show this help message and exit
--ide {jupyterlab,notebook}
The integrated development environment (IDE) to
configure.
-f, --forgiving Ignore the provided version number given that only a
few versions are available in Wasm.
-o, --output-dir OUTPUT_DIR
The directory to write the files.
--run Run web server after it has been built (default).
--no-run Do not run web server after it has been built.
--port PORT Port to bind when (insecurely) serving the IDE.
--info Increase logging to info level.
--debug Increase logging to debug level.
--version Print the version and exit.