Closed jtpio closed 3 years ago
Great, thanks. Re: additional py packages, I guess I was thinking of some way of easily doing a micropip.install()
of additional required packages for an environment eg to supplement those bundled by https://github.com/jtpio/jupyterlite/blob/5225266445d65c05cc2f545fceb1fa9f44380709/packages/pyolite-kernel/src/worker.ts#L14
This would then make it easier to ship an environment directly usable by content notebooks. Cf. the requirements.txt
file that gets picked up by a MyBinder build. along with other files in a .binder
directory. (So this makes me think: would it be useful to have a .jupyterlite
config a bit like .binder
that respects a subset of REES as appropriate for eg pyodide?)
And demoing the use of
overrides.json