Hi! It was suggested to use codespaces instead of ...
# toolsj
Jonas S
10/21/2025, 8:38 AMHi! It was suggested to use codespaces instead of gitpod. I keep getting (sometimes) errors related to devcontainers:
Copy code
FATAL: container creation failed: mount hook function failure: mount /proc/self/fd/4->/usr/local/apptainer/x86_64/var/lib/apptainer/mnt/session/rootfs error: while mounting image /proc/self/fd/4: failed to find loop device: could not attach image file to loop device: failed to attach loop device: could not open /dev/loop8: no such file or directorym
mashehu
10/21/2025, 9:34 AMcc @Julian Flesch
j
Julian Flesch
10/21/2025, 9:52 AMI have only seen this once so far where it also rather randomly resolved itself after restarting my Codespaces instance and I wasn't able to reproduce this. So we currently assume this is a Github Codespaces issue and can only encourage you to also try again in a fresh instance.
But just for completeness: Where did you run this from?
j
Jonas S
10/21/2025, 2:05 PM#CE9BJ6X6V
Jonas S
10/21/2025, 2:06 PMI restarted it as well but didn’t work. I’ll try again now and keep you postet
Jonas S
10/21/2025, 2:50 PMWell, now again I hit the space limit of codespace.. looks like its not very reliable unfortunately 😞