Ritsuka (Dec 02 2022 at 23:58): Ritsuka (Dec 02 2022 at 23:58):Hi, I am using Isabelle2022 (October 2022).
When I execute the command
isabelle vscode -l HOL
in the cygwin terminal, I got
*** [1202/184010.730:ERROR:registration_protocol_win.cc(106)] CreateFile: The system cannot find the file specified. (0x2)
*** ENOENT: no such file or directory, open 'd:\Program\ Files\Isabelle2022\contrib\vscode_extension-20220829\isabelle-2.0.0.vsix'
*** Failed Installing Extensions: file:///d%3A//Program/%20Files//Isabelle2022//contrib//vscode_extension-20220829//isabelle-2.0.0.vsix
My Isabelle is installed in the directory d:\Program\ Files\Isabelle2022.
The vscode extension file is correctly in
D:\Program Files\Isabelle2022\contrib\vscode_extension-20220829\isabelle-2.0.0.vsix.
Seems cygwin did not correctly convert my windows path to *nix path. How could I fix this?
Regards and many thanks.
Ritsuka (Dec 03 2022 at 23:41):Looks like the space in the installation path is causing me the problem.
Ritsuka (Dec 03 2022 at 23:45):Re-installing a few times also solved my problem, even though I now still have the space in my path.
Last updated: Dec 21 2024 at 16:20 UTC