Eric Huber
Eric Huber
It seems that when students get 100 on a coding problem, they can't submit anymore. This has caused various issues for students psychologically or for staff logistically (students can't resubmit...
Just curious, should this be `$DEV` and not just `DEV`? If nobody noticed then maybe it's not a variable used by anyone. https://github.com/PrairieLearn/PrairieLearn/blob/177f25b770126533e8ac727cf8472711ad9220e0/docker/init.sh#L10
I found that moving `await pool.terminate()` into the finally block here could prevent some false negatives, where tests could fail but node would mysteriously exit 0 anyway. (That is, by...
Fixes https://github.com/PrairieLearn/PrairieLearn/issues/9828 - In the install script, we now change the default jovyan 1000:100 to 1001:1001. This also involved changing the default group "users" gid 100 to 1001 but not...
I may be wrong, but it seems like there is no way to convert an existing, non-confidential queue to confidential. (Maybe I'm overlooking something obvious though.) There may be cases...
Fixes #537 There are problems with using `--password` because `set_password` is called before `check_hostuser`, but `check_hostuser` is where `Unpriv` gets set, which `set_password` relies on. This PR defers the `set_password`...
Fixed by #535 If `$HOME/.config/x11docker` doesn't already exist, among other possibilities, `--password` fails because of some logic errors in the code that sets the password. See #535 for details. To...
I'm making note of some ideas that were tossed around on Slack. I don't know if this should have the "RFC" label or not. "Advanced workspaces" would make use of...
Partially addresses https://github.com/PrairieLearn/PrairieLearn/issues/10716 Replaces https://github.com/PrairieLearn/PrairieLearn/pull/10721 When navigating to a workspace that is expected to be running, retry for up to 10 seconds to avoid false ~positives~ negatives that cascade into...
I'll try to put together a better reproducible example and narrow down whether this is "just me" later today, but in case anybody else is noticing it already, hitting "Reboot"...