I just updated my local source files from 8.0.271 to 8.0.402,
rebuilt and tried to install. I got the following error. I've
never had any problems with this before.
$ sudo make install STRIP=/bin/true
Starting make in the src directory.
If there are problems, cd to the src directory and run make there
cd src && make install
make[1]: Entering directory `/home/gary/src/vim-8.0/vim/src'
if test -f /usr/local/bin/vim; then \
mv -f /usr/local/bin/vim /usr/local/bin/vim.rm; \
rm -f /usr/local/bin/vim.rm; \
fi
cp vim /usr/local/bin
/bin/true /usr/local/bin/vim
chmod 755 /usr/local/bin/vim
cp vimtutor /usr/local/bin/vimtutor
chmod 755 /usr/local/bin/vimtutor
/bin/sh ./installman.sh install /usr/local/share/man/man1 ""
/usr/local/share/vim /usr/local/share/vim/vim80 /usr/local/share/vim
../runtime/doc 644 vim vimdiff evim
installing /usr/local/share/man/man1/vim.1
installing /usr/local/share/man/man1/vimtutor.1
installing /usr/local/share/man/man1/vimdiff.1
installing /usr/local/share/man/man1/evim.1
cd ../runtime/doc; if test -z "" -a -f tags; then \
mv -f tags tags.dist; fi
mv: cannot move ?tags? to ?tags.dist?: Permission denied
make[1]: *** [installrtbase] Error 1
make[1]: Leaving directory `/home/gary/src/vim-8.0/vim/src'
make: *** [install] Error 2
Note that the ? in the message from mv are apparently UTF-8 encoded
single quotes, 0x2018 and 0x2019, that got mangled in the copy and
paste from one system to another.
I'm continuing to look into the problem, but I thought I'd post
here, too, in case someone might already know the answer.
I'm building on Red Hat Enterprise Linux Server release 7.2.
Regards,
Gary
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
