I love what you did with Gitpod as this opens up contribution possibilities for a ton of people!
I'm a windows user with wsl disabled (for reasons) and like to develop locally or in a windows VM. This adds a PowerShell script to do the same as the existing bash script, sans the Gitpod functionality.
So far we are much success, but waiting on a few more tests (and lila compilation) to make sure everything is working as expected, so marking as draft.
I love what you did with Gitpod as this opens up contribution possibilities for a ton of people!
I'm a windows user with wsl disabled (for reasons) and like to develop locally or in a windows VM. This adds a PowerShell script to do the same as the existing bash script, sans the Gitpod functionality.
So far we are much success, but waiting on a few more tests (and lila compilation) to make sure everything is working as expected, so marking as draft.
Thanks for all your work on this project!
-- @NateBrady23