If the user has no access to the docker socket, root privileges are
required. This fix adds a missing sudo so docker attach works.
Co-authored-by: Daniel Schreiber <daniel.schreiber@hrz.tu-chemnitz.de>
docker container and pass them in as environment variables, since we
can't compute them inside the docker container if the source directory
is a git worktree