What must I do to install python dependencies in headless mode?

[rogueinkamp]

Hello, thank you for the great plugin.

I am wondering how to support headless install. This is to set up my environment in Docker.

I have tried to do:

RUN nvim --headless +COQdeps +qa

But this does not seem to complete the install.

I have noticed that it attempts to install to .local/share/nvim/plugged/coq_nvim/.vars/runtime/ so I have tried to install the dependencies there:

RUN mkdir -p $HOME/.local/share/nvim/plugged/coq_nvim/.vars/runtime
RUN python3.10 -m venv $HOME/.local/share/nvim/plugged/coq_nvim/.vars/runtime/
RUN $HOME/.local/share/nvim/plugged/coq_nvim/.vars/runtime/bin/python3.10 -m pip install pynvim msgpack PyYAML
RUN $HOME/.local/share/nvim/plugged/coq_nvim/.vars/runtime/bin/python3.10 -m pip install https://github.com/ms-jpq/pynvim_pp/archive/pp.tar.gz
RUN $HOME/.local/share/nvim/plugged/coq_nvim/.vars/runtime/bin/python3.10 -m pip install https://github.com/ms-jpq/std2/archive/std.tar.gz

However, when launching nvim, it still insists I run COQdeps.

Afterwards, it appears that the dependencies are fairly the same as they were before:

root@2a3596a65f8d:/root# .local/share/nvim/plugged/coq_nvim/.vars/runtime/bin/pip3 freezegreenlet==2.0.2
msgpack==1.0.4
pynvim==0.4.3
pynvim-pp @ https://github.com/ms-jpq/pynvim_pp/archive/pp.tar.gz
PyYAML==6.0
std2 @ https://github.com/ms-jpq/std2/archive/std.tar.gz

Then run neovim and COQdeps. Now check again:

root@2a3596a65f8d:/root# .local/share/nvim/plugged/coq_nvim/.vars/runtime/bin/pip3 freeze
msgpack==1.0.4
pynvim-pp @ https://github.com/ms-jpq/pynvim_pp/archive/456765f6dc8cef6df39ae3e61c79585258d38517.tar.gz
PyYAML==5.4.1
std2 @ https://github.com/ms-jpq/std2/archive/963cf22346620926c0bd64f628ff4d8141123db5.tar.gz

How do I properly set up python beforehand so I do not have to run COQdeps?

Again, thank you for this great plugin. Have a great day.