Closed hassandraga closed 1 year ago
Thanks for the report. Yes %userprofile% $HOME apparently does only work in CI. It was also set on my fairly blank windows VM 🤔
If we cannot fix this by code, then simply we create setup_ci.vsh
as a workaround 🤦♂️
Yes, I check this quickly. There already is a comptime flag v -d ci run setup.vsh
that uses another temp dir in Windows CI. So in one or the other way, we will be able to solve it.
It's just the installation steps in the readme that need the fix, it's not used in the script. What I ment above was that $HOME works apparently only in CI out of the box on windows, and not on every machine. %USERPROFILE%
would probably also work in CI.
I guess, in Windows it should be
%userprofile%
instead of$HOME
.