diff options
Diffstat (limited to 'topics/notebooks')
| -rw-r--r-- | topics/notebooks/user-stories.gmi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/topics/notebooks/user-stories.gmi b/topics/notebooks/user-stories.gmi index 0e8ad53..22f9398 100644 --- a/topics/notebooks/user-stories.gmi +++ b/topics/notebooks/user-stories.gmi @@ -82,6 +82,14 @@ inside another container. ### +What is the idiomatic way in nginx to forward everything beyond some prefix. + +Currently using the $rest arg but that might not be a good way to do it: + +=> https://git.genenetwork.org/jgart/binderlite/src/branch/master/nginx.conf#L36 + +### + Do we want to avoid hard coding guix-kernel to run inside a container and instead be able to explicitly specify a container environment from the binderlite app or should this be left to guix-kernel? |