You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The installation script works just fine in MSYS2, which is a great step forward, but pack itself fails with the message "[ fatal ] Failed to figure out package directory."
The problem seems to be the filepath library, which only supports Linux-style paths when parsing.
Even in MSYS2, environment variables are unfortunately separated by "\", so I believe there's currently no workaround to get pack working.
Is Windows support something we would like to pursue? If so, what would be a good first step? Modifying filepath, adding a new cmd argument to pack, or other solution?
The text was updated successfully, but these errors were encountered:
Sorry for the late reply. Obviously, I'm not a Windows users, so I won't myself be able to test / maintain Windows support. This means that if Windows support breaks and nobody is around to fix it, I'll have to drop it. But I'll definitely accept contributions in this regard.
Currently, I think there are two issues that need to be addressed: First, as you correctly wrote, the idris2-filepath library currently only supports Unix-style file paths. Contributions there are very welcome. Second, many IO operations in Pack.Core.IO (and possibly in Pack.Core.Git) are implemented as syscalls to typical Unix utilities. These would need to be changed in such a way that the syscalls being made work correctly on Windows (if we are on a Windows system).
Finally, I'll only accept contributions together with an update to the docs and an inclusion in our CI tests.
Edit: That being said, I'll of course help with setting up this stuff and figuring the places in the code that need to be adjusted.
For anyone else struggling on Windows: I solved it by using docker and base image ghcr.io/stefan-hoeck/idris2-pack. I then created my own image where I installed neovim and let pack install idris2-lsp.
The installation script works just fine in MSYS2, which is a great step forward, but
pack
itself fails with the message "[ fatal ] Failed to figure out package directory."The problem seems to be the
filepath
library, which only supports Linux-style paths when parsing.Even in MSYS2, environment variables are unfortunately separated by "\", so I believe there's currently no workaround to get
pack
working.Is Windows support something we would like to pursue? If so, what would be a good first step? Modifying
filepath
, adding a new cmd argument topack
, or other solution?The text was updated successfully, but these errors were encountered: