Eric Huber

I think this is problematic because xargs does not seem to automatically eat the leading whitespace on each line if you specify the delimiter. Perhaps a more comprehensive solution would...

This seems to be duplicating the default behavior (pre-request). Perhaps I'm misunderstanding what this is meant to do? (By the way, I tried a variation with grep --null and it...

My preference would be that the student's file would not be overwritten when they reset, but that there'd be an extra option to do a hard reset and get the...

After discussing the issue with @zhuyifei1999, we made a PR to the pkgcore repo that might fix this. It seems to work for the case described above and a few...

> I was also experiencing this behaviour, and it stopped when I disabled collaborative mode (autosave is on) (quoted from @rafaelgm) This comment in particular makes me wonder if the...

For what it's worth, I think extensions like the one by @hackwaly still have value. It seems that the official extension adds a lot of features that might not be...

> The ability to change the base URL with an environment variable is common in Docker images and makes sense. It would be better to add a new init script...

I do have a newer WIP for this that I need to PR. Commenting here to put pressure on myself to get it done soon.

Does "getent passwd your_user_name" (using your actual username) show anything in the terminal, or give an error? (On msys, you might need to install the getent package first.) You can...

Note that in the old version, `Pythonbin` was being set to `jq` by preference, which is kind of confusing. The new `Jqbin` variable tries to make that explicit.