Eric Huber

I may want to suggest a different direction for the past few changes. We don't want the user's _name_ to be 1001 (not sure what side effects that could have);...

I'll add that renumbering the postgres user to be 1001:1001 may be fine. I don't know if that's better or worse than making a normal user and giving them the...

I reverted to the user ID hacks that we had before and brought in some of the aspects from the Jupyter prototype. I also tried to keep the style of...

It seems to work in production too. Note that it's installing the database contents to /pgdata, outside of the user home, to make sure you don't shadow the contents with...

> Just to clarify, is this in regards to the session data that is stored so that the students can keep their code active in case of a disconnect? Whatever...

After going into the preferences, Paths > Binary paths, I was able to specify the bin path for PostgreSQL 14 and check it as the default: `/usr/lib/postgresql/14/bin`. After this it...

Zac has more familiarity with the use case so if he'd like to own it, I'm fine with that. Some of the things I've learned messing with this are useful...

It's a full crash. The PL web server halts. However, the workspace host does not halt. I can reproduce it with the latest PL Docker and this invocation: ``` sudo...

I think I found one of the causes, but I'm not sure why this is a recent thing or what the root cause is. On this query where it fails:...

I mentioned it in a followup comment on the PR, but while the state query issue seems to be mitigated there for now, the root cause of the thrown error...