Open caio-vinicius opened 2 years ago
Just reporting it.
We're using this instructions in a Dockerfile to install header, which uses vim folder, instead of the latest plugin folder
vim
plugin
RUN git clone https://github.com/42Paris/42header /tmp/42header WORKDIR /tmp/42header RUN cp ./vim/stdheader.vim /usr/share/vim/vim81/plugin/stdheader.vim && \ rm -rf /tmp/42header
Unfortunately the set_header.sh installation script cannot help us, since we can't install the extension just in the current user, but globally, in the system Vim folders. So, I need to use this method.
Just reporting it.
We're using this instructions in a Dockerfile to install header, which uses
vim
folder, instead of the latestplugin
folder