-
Notifications
You must be signed in to change notification settings - Fork 411
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
pkg: dune pkg lock "dev/dune.lock"
fails, because dune.lock
is a sub-directory.
#10866
Labels
Comments
5 tasks
moyodiallo
changed the title
pkg:
pkg: Aug 30, 2024
dune pkg lock "dev/dune.lock"
fails, because "dune.lock" is a sub-directory.dune pkg lock "dev/dune.lock"
fails, because dune.lock
is a sub-directory.
My first bet would be that it's related to the fact that with the atomic locking, we derived the path from the provided path. |
The issue is coming from: Lines 612 to 614 in c82db6a
When |
Do you want to send a test + a fix? I think you just need an |
maiste
added a commit
to maiste/dune
that referenced
this issue
Sep 3, 2024
maiste
added a commit
to maiste/dune
that referenced
this issue
Sep 3, 2024
Signed-off-by: Etienne Marais <dev@maiste.fr>
maiste
added a commit
to maiste/dune
that referenced
this issue
Sep 3, 2024
Signed-off-by: Etienne Marais <dev@maiste.fr>
maiste
added a commit
to maiste/dune
that referenced
this issue
Sep 3, 2024
Signed-off-by: Etienne Marais <dev@maiste.fr>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Expected Behavior
Do not crash
Actual Behavior
Reproduction
What the reproduction does is:
Additional information
This is coming from the #10852, the parent directory was not created before creating the temporary directory.
The text was updated successfully, but these errors were encountered: