Я уже давно пользуюсь подсистемой Windows для Linux для SPIN (Promela). Тем не менее, без каких-либо изменений в настройке, внезапно, с 28 октября 2019 года, я получаю сообщение об ошибке «Отказано в доступе» для «/ usr / bin / spin». Другие команды в том же месте «/ usr / bin / ..» работают так же, как и раньше. Я проверил для очистки, gcc -v, yacc -v и sudo apt установить gcc.
Расположение команды в WSL находится в каталоге 'rootfs', к которому нельзя получить доступ с помощью 'cd' или 'chmod'. Так что я не знаю, действительно ли это проблема с правами, потому что другие команды в том же месте работают нормально.
Странно то, что sudo apt install spin говорит, что spin - это уже самая новая версия (6.40,6 + DFSG-2) «. Но «spin -v» говорит: «-bash: / usr / bin / spin: разрешение запрещено»