Adding blocking version of COQdeps

[Midren]

I'm using neovim instance inside docker image. However, it is not possible to install deps in cli mode like: nvim --headless +COQdeps +qall as command is not blocking and nvim instantly exits.

Maybe, if you could help to find some workaround which I don't know, I would be thankful 😁

[zeertzjq]

Maybe you can cd to install directory of COQ and run python3 -m coq deps.

[Midren]

@zeertzjq Thanks, that helped! Maybe worth adding 'do': python3 -m coq deps for vim-plug to Install section in README

[ms-jpq]

yeah what @zeertzjq said.

idk if I want to add a do, since that does not work for XDG, in which case the xdg dirs values are actually pulled from nvim instead of elsewhere.

i would then have to write like a section explaining it just for xdg dir users how to set the correct dir manually and I think it would be confusing, so I didn't just do it

[DhruvDh]

So doing python3 -m coq deps doesn't work for me. Which is weird because COQdeps works for the same config on 2 other computers.

For the computer that has this issue, these are the innards of .vars after running python3 -m coq deps -

.
└── runtime
   ├── bin
   │  ├── python -> python3
   │  ├── python3 -> /usr/bin/python3
   │  └── python3.9 -> python3
   ├── include
   ├── lib
   │  └── python3.9
   │     └── site-packages
   ├── lib64 -> lib
   └── pyvenv.cfg

I have removed .vars and trying again, I've tried removing coq and reinstalling through packer entirely; but this is what I end up with always.

[Eugene-msc]

Ok so I think I found the problem, at least I fixed it for myself.

First thing I did is commented out this line, so that stdout comes inte the terminal https://github.com/ms-jpq/coq_nvim/blob/coq/coq/__main__.py#L78 So I started geting this message

➜  coq_nvim git:(coq) ✗ python3 -m coq deps
...
The virtual environment was not created successfully because ensurepip is not
available.  On Debian/Ubuntu systems, you need to install the python3-venv
package using the following command.

    apt-get install python3-venv

You may need to use sudo with that command.  After installing the python3-venv
package, recreate your virtual environment.

Failing command: ['/home/user/.config/nvim/plugged/coq_nvim/.vars/runtime/bin/python3', '-Im', 'ensurepip', '--upgrade', '--default-pip']

So I installed python3-venv, deleted .vars and ran the command again and it all worked

[DhruvDh]

Ah, thanks. I’ll try that later.

EDIT: That works.