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
Building things after having done dune pkg lock will cause issues when a user is using WSL1. The Windows Subsystem for Linux.
For context, WSL1 is a partial translation of linux kernel calls to the windows kernel whereas WSL2 is containerization based on docker.
The things we want to do when building packages with dune relies on kernel calls not available in WSL1. Generally rules with sandboxing are going to be problematic.
This means that inexperienced users will be left scratching their heads when they see dune complain about permissions.
Proposal
In order to fix this issue, I suggest that we detect somewhere that the user is running dune via WSL1 and suggest switching to WSL2.
I'm not yet certain how to avoid unnecessary checks on other platforms. Supposedly checking wsl -l -v in Powershell will spit out something with 2 on WSL2 and either error or say 1 on WSL1.
I believe this will be a net usability gain, especially for new users.
The text was updated successfully, but these errors were encountered:
Problem
Building things after having done
dune pkg lock
will cause issues when a user is using WSL1. The Windows Subsystem for Linux.For context, WSL1 is a partial translation of linux kernel calls to the windows kernel whereas WSL2 is containerization based on docker.
The things we want to do when building packages with dune relies on kernel calls not available in WSL1. Generally rules with sandboxing are going to be problematic.
This means that inexperienced users will be left scratching their heads when they see dune complain about permissions.
Proposal
In order to fix this issue, I suggest that we detect somewhere that the user is running
dune
via WSL1 and suggest switching to WSL2.I'm not yet certain how to avoid unnecessary checks on other platforms. Supposedly checking
wsl -l -v
in Powershell will spit out something with2
on WSL2 and either error or say1
on WSL1.I believe this will be a net usability gain, especially for new users.
The text was updated successfully, but these errors were encountered: