"This seems to be a problem with symlinks. The sql script it is trying to call is a symbolic link, but it seems you have to explicitly specify core.symlinks as true to create the symlink when cloning, which vimplug does not do. For anyone using vimplug my quick solution is just go into the nvim-data/plugged folder, remove the coq_nvim directory, open any terminal as administrator (e.g. CMD, Windows Powershell, Git Bash) and manually clone the repo with git -c core.symlinks=true clone https://github.com/ms-jpq/coq_nvim.git."
"This seems to be a problem with symlinks. The sql script it is trying to call is a symbolic link, but it seems you have to explicitly specify
core.symlinks
astrue
to create the symlink when cloning, which vimplug does not do. For anyone usingvimplug
my quick solution is just go into thenvim-data/plugged
folder, remove thecoq_nvim
directory, open any terminal as administrator (e.g. CMD, Windows Powershell, Git Bash) and manually clone the repo withgit -c core.symlinks=true clone https://github.com/ms-jpq/coq_nvim.git
."_Originally posted by @54m43lJ in https://github.com/ms-jpq/coq_nvim/issues/589#issuecomment-1651436348_