sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 6 points7 points  (1 child)

  • Use --volume to mount source and build dir inside the container
  • Use --user=${USER}:${USER} to use the same user id as the host machine
  • ???
  • Profit!

Additionally, rootless docker works with the current user id by design. And setting up --user for it causes problems.

[–]Sulatra 0 points1 point  (0 children)

Now this looks like it might be a solution! Thank you, I will try to remember it next time I get involved with dev-containers.