Hi Carl, Carl Dong skribis: > I believe I've found a solution to the problem that Ludo was encountering. The > reason why Ludo was having trouble was because when a user specifies `--user`, > we rewrite the targets of our filesystem mappings so that every instance of > `$HOME` (as seen ouside the container) becomes `/home/$USER`. Since this applied > to all filesystem mappings, it included our filesystem mappings for inputs too. > However, our symlinks were not updated. > > My change makes it so that we _only_ update the mappings that are either > user-specified, or cwd (if applicable). This solves Ludo's problems. > > Here's the patch, let me know if it looks good: > https://github.com/dongcarl/guix/compare/8e92d5465fc154fed5d06f7e4a64d7dcccded74d...2019-06-env-no-cwd-fix.patch Good catch! The patches LGTM. (Note: you can use the ‘Co-authored-by’ tag for the second patch, I think it’s a more or less common convention.) Speaking of which, could you create an account on Savannah? That way we could grant you commit access to make it more convenient for you and so you can review and apply other people’s patches in your areas of expertise. Please let me know what your account is, and reply with a message signed by the key you’ll use to sign commits. Also please read the ‘HACKING’ file for info on the commit “rules”. Thanks! Ludo’.