Nicolas M. Thiéry

binder link broken

2

Hello! Following the jupyterlab binder link from [jupytext's repo](https://github.com/mwouts/jupytext/tree/12964ef42783722815cd5d12df47d5ce67c1b323), I currently get an error: "404 : Not Found You are requesting a page that does not exist!" The url is:...

docmanager:open called from ipylab takes absolute paths

3

The docmanager:open command, at least when called from ipylab, seems to interpret paths as absolute from the lab root. Option 1: this is a feature (possibly consistent with other pieces...

Feature request: keyboard shortcut(s) to jump to the next cell that needs grading

1

### Scenario An instructor is using the formgrader to grade a notebook where many cells have already been graded; typically because they were autograded or graded during previous iterations (e.g....

Cannot type `L` in Text and TextArea: captured by Jupyterlab

6

## Description The character `L` is captured by the JupyterLab interface when typing in an ipywidget Text, Textarea, Password. Detected because [Travo](https://gitlab.com/travo-cr/travo/) uses Password to enter credentials, and some of...

Spurious `unknown message usage_request errors

3

## Description `jupyter-error-messages` now emits "usage_request" messages. However not all kernels support them, which may lead to error messages in the notebook: ``` ERROR: received unknown message Message type: usage_request...

coqidetop.opt returned non-zero exit status 2

8

Hello, With @amahboubi, we are trying to use coq_jupyter in Jupyter Lab. The kernel is however crashing on start up. Any clue? Thanks in advance, ## How to reproduce ```...

'Use Cases' section on opendreamkit.org

16

Our web site now has a [`Use cases` section](http://opendreamkit.org/project/use-cases/), currently available from the Project menu. It's meant to hold short documents such as [this one](http://opendreamkit.org/2017/11/02/use-case-publishing-reproducible-notebooks/) with the following structure: -...

We used to have an easily discoverable page listing all tags for our blogs. We should resurrect this.

opendreamkit.org/try

3

We should have a page similar to https://jupyter.org/try, showcasing a notebook / virtual research environment for each of our systems: - [ ] FLINT via cling? - [ ] GAP...

Status information on the partner list

1

At this stage of the project, there has been quite some personnel movement, including, sadly, two deceased participants. We should reflect this on the partners page. I have updated the...