On Fr, 10 Nov 2017, Kevin Lyda wrote: > On Sunday, July 24, 2016 at 2:03:06 PM UTC+1, Bram Moolenaar wrote: > > Vim has always been conservative about the default option values. > > Without any .vimrc the default is 'compatible'. That's nice for people > > who rely on the old Vi. But how many of these still exist? I expect > > nearly all Vim users to want 'nocompatible', thus create a .vimrc ASAP. > > > > What has stopped me from changing this is the unexpected change. Many > > users will notice that Vim suddenly behaves differently. Some may be > > upset. The release of Vim 8.0 might be the best point in time to do > > this. If we do this. > > So this was unfortunate. > > I like the idea of moving forward but kind of bummed how it was done. > Specifically: > > On Ubuntu the vim8 package has a /etc/vim/vimrc which pulls in a > /etc/vim/vimrc.local if it exists. With vim8 "set mouse=a" is the default > when a mouse is detected. And that's fine for lots of folks but I'm not a fan > so I'd like to disable it system-wide. So I put "set mouse=" in > /etc/vim/vimrc.local and I'm good, yes? > > No. No I'm not. It seems that /usr/share/vim/vim80/defaults.vim (which was > mildly hard to find btw) is sourced after /etc/vim/vimrc and > /etc/vim/vimrc.local. This seems unfortunate. And yes, I'm aware per-user > .vimrc's are a thing but I'd rather set this system-wide w/o editing the > distribution files. > > And that was possible with /etc/vim/vimrc.local but now is not. Is this > something that could be changed and would it be a vim issue or a vim > packaging issue?
See the discussion in the following issue: https://github.com/vim/vim/issues/2042 Christian -- Und die Sonne Homers, siehe! Sie lächelt auch uns. -- Friedrich Schiller -- -- 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.
