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

Compare mount output using base of dirname #771

Merged
merged 2 commits into from May 15, 2024

Conversation

pevsonic
Copy link
Contributor

@pevsonic pevsonic commented May 1, 2024

If you're building from a bind-mounted directory, the build will fail as it will find two entries to unmount, but a single unmount will remove them both causing an error. Adding a space means that the mountpoint will only match with a single mount entry ; the expected path, rather than the pre bind-mount.

Fixes issue #770

If you're building from a bind-mounted directory, the build will
fail as it will find two entries to unmount, but a single unmount
will remove them both causing an error. Adding a space means that
the mountpoint will only match with a single mount entry ; the
expected path, rather than the pre bind-mount.
@XECDesign XECDesign force-pushed the pevsonic/fix-bind-mount-error branch from 2fe8d47 to 38a0a00 Compare May 13, 2024 11:42
@XECDesign XECDesign changed the base branch from arm64 to master May 13, 2024 11:42
Retry unmount 5 times and give up, letting the user know that they need to resolve the issue manually
@XECDesign
Copy link
Member

Many thanks! I've reproduced the issue you were seeing and this fixes it for me. I've made some additional changes to the PR while I was in the area. Could you please give this version a go and see if it still works for you as expected?

Normally changes go to the master branch and are then merged into arm64, so I've changed the base of the PR. You might need to merge it back into your arm64-based branch to test it.

Quite often people will try to rm -rf the work directory while there are some mountpoints there, which can cause all kinds of issues on the system, so I've added a warning not to do that.

Combined the previous implementation of unmount into a single while loop.

Added 5 retries so that if something goes wrong, it's not stuck in a loop trying to unmount forever.

@XECDesign XECDesign merged commit d790fed into RPi-Distro:master May 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants