diff options
Diffstat (limited to 'issues/binderlite')
8 files changed, 115 insertions, 0 deletions
diff --git a/issues/binderlite/add-configuration-to-set-server-name.gmi b/issues/binderlite/add-configuration-to-set-server-name.gmi new file mode 100644 index 0000000..d54997c --- /dev/null +++ b/issues/binderlite/add-configuration-to-set-server-name.gmi @@ -0,0 +1,11 @@ +# Add configuration to set server name + +* assigned: jgart + +* feature + +Let's use environment variables as configuration + +https://flask.palletsprojects.com/en/2.0.x/cli/?highlight=environment%20variables + +https://docs.python.org/3/library/os.html?highlight=os%20environ#os.environ diff --git a/issues/binderlite/add-spinner-for-submit-form.gmi b/issues/binderlite/add-spinner-for-submit-form.gmi index 0800fa8..de19c55 100644 --- a/issues/binderlite/add-spinner-for-submit-form.gmi +++ b/issues/binderlite/add-spinner-for-submit-form.gmi @@ -13,3 +13,15 @@ a container to be built? A spinning guix gnu logo could be cool. https://www.w3schools.com/howto/howto_css_loader.asp https://spin.js.org/https://spin.js.org/ + + +## Solution + +We're using ansi2html now. + +See the following issue: + +=> ./ansi2html_terminal_user_feedback.gmi + +* closed + diff --git a/issues/binderlite/ansi2html_terminal_user_feedback.gmi b/issues/binderlite/ansi2html_terminal_user_feedback.gmi new file mode 100644 index 0000000..969448a --- /dev/null +++ b/issues/binderlite/ansi2html_terminal_user_feedback.gmi @@ -0,0 +1,36 @@ +# ansi2html terminal user feedback + +* ongoing +* feature-request +* assigned: jgart + +https://builds.sr.ht/~sircmpwn/job/610711 + +https://builds.sr.ht/~sircmpwn/job/611028 + +This issue proposes an alternative way to generate terminal output to the browser +from a process that does not dependent on js libraries but still looks great. + +Drew Devault uses this method in builds.sr.ht, the continuous integration +system/app that is part of the SourceHut suite. + +builds.sr.ht generates terminal output using jinja templates and a relatively +small python library called ansi2html. It is already packaged by guix upstream +as python-ansi2html (It could use an update). + +https://github.com/pycontribs/ansi2html +https://pypi.org/project/ansi2html/ + +Here are two examples of it in action at builds.sr.ht: + +https://builds.sr.ht/~sircmpwn/job/610711 + +https://builds.sr.ht/~sircmpwn/job/611028 + +And, the relevant places in builds.sr.ht code base: + +https://git.sr.ht/~sircmpwn/builds.sr.ht/tree/master/item/buildsrht/templates/job.html#L117 + +https://git.sr.ht/~sircmpwn/builds.sr.ht/tree/master/item/buildsrht/blueprints/jobs.py#L333 + +I've added a diagram showing how it will integrate with binderlite. diff --git a/issues/binderlite/binderlite_ansi2html_terminal_diagram.png b/issues/binderlite/binderlite_ansi2html_terminal_diagram.png Binary files differnew file mode 100644 index 0000000..a4f16b4 --- /dev/null +++ b/issues/binderlite/binderlite_ansi2html_terminal_diagram.png diff --git a/issues/binderlite/error-regarding-static-assets-after-forwarding.gmi b/issues/binderlite/error-regarding-static-assets-after-forwarding.gmi index 27e7bd1..bd39df9 100644 --- a/issues/binderlite/error-regarding-static-assets-after-forwarding.gmi +++ b/issues/binderlite/error-regarding-static-assets-after-forwarding.gmi @@ -50,3 +50,5 @@ http://localhost/49761/?token=f6269bbf48ee5c9887732f5bc76d32f37e1f25483195ae88 The next step is to get jupyter to accept the generated token on the first request without needing to input it manually first. + +* closed diff --git a/issues/binderlite/integrate-styling-with-gn2.gmi b/issues/binderlite/integrate-styling-with-gn2.gmi new file mode 100644 index 0000000..dc158fa --- /dev/null +++ b/issues/binderlite/integrate-styling-with-gn2.gmi @@ -0,0 +1,11 @@ +# Integrate styling of app with GN2 + +* ongoing +* assigned: jgart + +Currently using antiweb for styling with modifications. + +=> https://git.sr.ht/~sircmpwn/antiweb antiweb + +Copying nav bar and fonts from GN2 will make the app look more integrated with +GN2 UI. diff --git a/issues/binderlite/open-files-directly-if-full-path-is-given.gmi b/issues/binderlite/open-files-directly-if-full-path-is-given.gmi new file mode 100644 index 0000000..203e87a --- /dev/null +++ b/issues/binderlite/open-files-directly-if-full-path-is-given.gmi @@ -0,0 +1,18 @@ +# Open notebook directly if full path to notebook file is given + +* feature-request +* assigned: jgart + +We'd like to be able launch a notebook directly if the user gives the fullpath to the notebook file. + +Should we allow urls like this? + +https://github.com/jgarte/guile-notebook-genenetwork-api/blob/master/genenetwork-api.ipynb + +The above is a valid github url that also points to the notebook file. + +Or only this? + +https://github.com/jgarte/guile-notebook-genenetwork-api/genenetwork-api.ipynb + +* closed diff --git a/issues/binderlite/return-canned-text-if-notebook-description-returns-none.gmi b/issues/binderlite/return-canned-text-if-notebook-description-returns-none.gmi new file mode 100644 index 0000000..49f5d3f --- /dev/null +++ b/issues/binderlite/return-canned-text-if-notebook-description-returns-none.gmi @@ -0,0 +1,25 @@ +# Return canned text if notebook description returns none + +* bug? +* assigned: jgart + +Notebooks that do not have a description will use python's `None` value as the +project's description. + +Should we return some other text instead? + +We could do something like the following idea: + +``` +if notebook.description == None: + return "Project does not have a description." +``` + +Or we could do: + +``` +if notebook.description == None: + return "Could not retrieve description for project." +``` + +WDYT? |
