Michael Greenberg

Results 157 comments of Michael Greenberg

Same! I tried putting `#![allow(clippy::...)]` in a few spots (in the `.lalrpop` file; before `lalrpop_mod!`), but nothing convinced it to be quiet. A full list of the warnings I get:...

Resolved in #29.

Addressing this in #17937 as a way to warm up to the codebase. A quick question: `MapGetValues` will never introduce a `null` at the top level, but it may introduce...

The correct solution here is to delete `x` before calling `mkdir` when committing. We should change the summary to highlight this (i.e., the change is "delete `x` and then create...

@skorokithakis I wonder if your problem is #19. Can you show us the output of `findmnt -A` and `lsblk`?

Okay, I think your issue is indeed #19.

I'm surprised by that. Does putting an `exec` on line 40 (the first `unshare`) resolve that?

Huh... something weird is going on (with process groups?) if the shell is going into the background. I wonder: does invoking the `try explore` shell as `bash -i` change anything?

Okay, weird. We can try to debug this in person.