Hacker News new | ask | show | jobs
by edgyswingset 3921 days ago
Either I'm missing something or this doesn't support Windows, because installing the package did absolutely nothing on my machine.
1 comments

Could you try updating the `ionide-installer` plugin? We had some minor issues over the past 30 mins[1] but they should be resolved now.

We definitely support Windows, I'm running it on Windows 10 right now ;)

[1] https://github.com/ionide/ionide-installer/issues/3"

Still doesn't do anything. I'll investigate further and create an issue on Github.