Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mount points with spaces lead to an error in combination with fuse-overlayfs #1136

Open
PhilippWendler opened this issue Dec 10, 2024 · 1 comment
Labels
container related to container mode

Comments

@PhilippWendler
Copy link
Member

The following fails:

mkdir "a" "tmp tmp"
sudo mount --bind "a" "tmp tmp"
containerexec bash

The error message is

Failed to configure container with operation 'raise OSError(errno, msg)': [Errno 2] mount(b'/tmp/BenchExec_run_pot4cxqd/overlayfs/fuse_mount/home/wendler/git/benchexec/tmp tmp', b'/tmp/BenchExec_run_pot4cxqd/mount/home/wendler/git/benchexec/tmp tmp', None, 4096, None) failed: No such file or directory

If one switches to the kernel-based overlayfs by passing --read-only-dir / --overlay-dir . it works, so the problem is in our code for handling fuse-overlayfs mounts.

@PhilippWendler PhilippWendler added the container related to container mode label Dec 10, 2024
@PhilippWendler
Copy link
Member Author

Same problem for mounts with , in the name.

@PhilippWendler PhilippWendler changed the title Mount points with spaces lead to a crash in combination with fuse-overlayfs Mount points with spaces lead to an error in combination with fuse-overlayfs Dec 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
container related to container mode
Development

No branches or pull requests

1 participant