Tony Mechelynck wrote: > On Mon, Nov 2, 2015 at 3:46 PM, Marius Gedminas <[email protected]> wrote: > > On Mon, Nov 02, 2015 at 01:57:55PM +0100, Bram Moolenaar wrote: > >> > >> With the latest changes this error is reported: > >> > >> cp ../runtime/vim.desktop ../runtime/gvim.desktop \ > >> /usr/local/share/vim/vim-7.4/share/applications > >> cp: target `/usr/local/share/vim/vim-7.4/share/applications' is not a > >> directory > >> > >> What is the correct directory? > > > > /usr/local/share/applications > > > > Marius Gedminas > > > Hm, on openSUSE (after installing Vim 7.4.908 by means of a Makefile > with a modified-date of a few minutes ago) I have neither > /usr/local/share/vim/vim-7.4 (with dash and dot) nor > /usr/local/share/applications — my /usr/local/share tree is as > follows: > +-- man > \-- vim > \-- vim74 > \... > > I have applications/ and applications-registry/ in /usr/share/ though. > I suppose I should "mkdir -p /usr/local/share/applications" before > copying these desktop files to it.
I also have /usr/share/applications, no /usr/local/share/applications. Perhaps we need to try a few directories, but we also want to give the user a chance to change the target directory. Perhaps we need a specific configure check. -- hundred-and-one symptoms of being an internet addict: 88. Every single time you press the 'Get mail' button...it does get new mail. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- 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.
