我已经将Linux的Windows Subsytem用于SPIN（Promela）了一段时间。但是，自2019年10月28日以来，设置没有任何更改，我突然收到错误的/ usr / bin / spin错误``权限被拒绝''。同一位置“ / usr / bin / ..”中的其他命令正常工作，就像之前一样。我验证了是否清晰，gcc -v，yacc -v和sudo apt安装了gcc。
WSL中的命令位置在目录'rootfs'下，无法使用'cd'或'chmod'进行访问。因此我不知道这是否实际上是一个权限问题，因为同一位置的其他命令可以正常工作。
[奇怪的是，'sudo apt install spin'表示“ spin已经是最新版本（6.4.6 + dfsg-2）。”但是'spin -v'表示“ -bash：/ usr / bin / spin：权限被拒绝”
Patrick给出的简单解决方案似乎起作用。 ;）
由于rootfs/usr/bin删除中的文件存在此权限被拒绝的错误，也是不可能的。因此，我首先从该位置手动删除了文件，然后是sudo apt remove spin，然后是“ sudo apt install spin”。
现在旋转似乎效果很好。