Hello,
We are trying to use a container made with repo2Docker on our HPC system, but we are using singularity with our /home mounted automatically. We can’t access /home/jovyan when we launch our container.
Is there procedure to use repo2Docker with singularity ?
The username argument is separate from the user ID. You didn’t mention you were using the GitHub action- it doesn’t support the user-id argument, instead you could run repo2docker directly in your GitHub workflow.
I’ve tried setting the user_id as my own, but I still have the same problem. Another problem is that this container is to be used by several users, so I can’t set it for my account alone. I managed to access the repository inside the container by adding a chmod in the container creation. Can I add this option and make a merge request in the repo2docker project?
I’m surprised setting the user-id didn’t work. Can you share the full repo2docker command line and an example repository that you’re having problems with? Which version of repo2docker are you using?