在 WSL 中执行“/usr/bin/spin”的权限被拒绝（ubuntu 18.04）
permission denied to execute '/usr/bin/spin' in WSL (ubuntu 18.04)
我使用 Windows 子系统 for Linux for SPIN(Promela) 已经有一段时间了。
但是，在没有对设置进行任何更改的情况下，自 2019 年 10 月 28 日以来，我突然收到“/usr/bin/spin”的错误 'Permission denied' 错误。
同一位置“/usr/bin/..”中的其他命令与之前一样正常工作。我验证清楚，gcc -v，yacc -v 和 sudo apt install gcc。
WSL 中的命令位置在目录 'rootfs' 下，无法使用 'cd' 或 'chmod' 访问。所以我不知道这是否真的是权限问题，因为同一位置的其他命令都可以正常工作。
奇怪的是 'sudo apt install spin' 说 "spin is already the newest version (6.4.6+dfsg-2)." 但是 'spin -v' 说“-bash: /usr/bin/spin: 权限被拒绝”
Patrick 给出的简单解决方案似乎有效。 ;)
由于 rootfs/usr/bin 中的文件存在此权限被拒绝错误，因此也无法删除。所以我首先手动从该位置删除了文件，然后是sudo apt remove spin，然后是'sudo apt install spin'。
现在旋转似乎工作得很好。
我使用 Windows 子系统 for Linux for SPIN(Promela) 已经有一段时间了。 但是，在没有对设置进行任何更改的情况下，自 2019 年 10 月 28 日以来，我突然收到“/usr/bin/spin”的错误 'Permission denied' 错误。 同一位置“/usr/bin/..”中的其他命令与之前一样正常工作。我验证清楚，gcc -v，yacc -v 和 sudo apt install gcc。
WSL 中的命令位置在目录 'rootfs' 下，无法使用 'cd' 或 'chmod' 访问。所以我不知道这是否真的是权限问题，因为同一位置的其他命令都可以正常工作。
奇怪的是 'sudo apt install spin' 说 "spin is already the newest version (6.4.6+dfsg-2)." 但是 'spin -v' 说“-bash: /usr/bin/spin: 权限被拒绝”
Patrick 给出的简单解决方案似乎有效。 ;)
由于 rootfs/usr/bin 中的文件存在此权限被拒绝错误，因此也无法删除。所以我首先手动从该位置删除了文件，然后是sudo apt remove spin，然后是'sudo apt install spin'。
现在旋转似乎工作得很好。