There is a difference between sudo and su. Some things that root (or a "su root" console) can do, cannot be done by plain sudo. I don't know the fine points of these differences.
If you install vim at the default location (with /usr/local/share/vim/vim80 as the $VIMRUNTIME of the runtime files, and with the executable in /usr/local/bin) try running the "make install" in a root console, not with sudo. If you install Vim somewhere under your own home directory, you should be able to run it as yourself with neither su nor sudo. Best regards, Tony. On Fri, Mar 3, 2017 at 1:33 AM, Gary Johnson <[email protected]> wrote: > On 2017-03-02, Gary Johnson wrote: > >> 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 > > I tried the mv command by itself. > > $ cd runtime/doc > $ ll tags > -rw-r--r-- 1 gary swgroup 317378 Mar 2 15:29 tags > $ sudo mv -f tags tags.dist > mv: cannot move ?tags? to ?tags.dist?: Permission denied > $ mv -f tags tags.dist > > So I can execute the mv as myself, but not as the sudo user. As > this used to work, I wonder if the Vim make has changed or if the > characteristics of the sudo user on this system have changed. > > 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. -- -- 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.
