diff options
| author | jgart | 2021-08-06 09:29:01 -0400 |
|---|---|---|
| committer | jgart | 2021-08-06 09:29:01 -0400 |
| commit | cde09547ac786aabd06db3b8109f1bc07926c106 (patch) | |
| tree | 2427fd92bec63908a6fab886c63d0c4f5ef1f3d0 /topics | |
| parent | 0e756f275950af3f5c30abe14134f4af3986582f (diff) | |
| download | gn-gemtext-cde09547ac786aabd06db3b8109f1bc07926c106.tar.gz | |
Update answer for two questions
Diffstat (limited to 'topics')
| -rw-r--r-- | topics/notebooks/binding-lite.gmi | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/topics/notebooks/binding-lite.gmi b/topics/notebooks/binding-lite.gmi index 060b9c1..8ab110e 100644 --- a/topics/notebooks/binding-lite.gmi +++ b/topics/notebooks/binding-lite.gmi @@ -132,9 +132,21 @@ The use cases for `guix-notebook-launcher` are driven by the following design de ## Current Questions I Have to Answer -* Is OAuth still needed? +* Is OAuth still needed? + +Yes + +* What type does a manifest return? + +A manifest! Which of course is just another record :) + +``` +scheme@(guix-user)> ,use (gnu packages) (guix profiles) +scheme@(guix-user)> (manifest? (specifications->manifest '("python-ipython"))) +$1 = #t +``` + * Pushing? Pulling? Authentification? Via the github API? -* What type does a manifest return? Test this in the guix repl. * Will we build binder-lite completely from scratch or are there useful pieces from binderhub that we can salvage and while stripping out the docker integration? * How will we parse the new dependencies that a user introduces during a notebook session? * Will guix-jupyter magics be available to the notebook user? How will they interact with guix-notebook-launcher data? |