Stream: Beginner Questions

Topic: vscode on Windows


view this post on Zulip 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.

view this post on Zulip Ritsuka (Dec 03 2022 at 23:41):

Looks like the space in the installation path is causing me the problem.

view this post on Zulip 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: Mar 29 2024 at 08:18 UTC