Skip to content
New issue

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

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

Already on GitHub? # to your account

Various fixes #6015

Closed
wants to merge 2 commits into from
Closed

Various fixes #6015

wants to merge 2 commits into from

Conversation

kit-ty-kate
Copy link
Member

Noticed when debugging kit-ty-kate/opam-repository#26

The first commit is my fault from #6000. I noticed it when running opam locally on Windows and saw the choices 1/2/3/4/5/6/7/8/9/j instead of the expected 1/2/3/4/5/6/7/8/9/a.

The second commit helped to locate the issue i was having as [ERROR] Could not update repository "default": rsync failed was not very helpful. With this change I now get Error: Could not update repository "default": Not available: Directory D:/a/opam-repository/opam-repository/opam-repository/ does not exist

@kit-ty-kate
Copy link
Member Author

Split into #6026 and #6027

@kit-ty-kate kit-ty-kate deleted the various-fixes branch June 17, 2024 16:14
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant