Control: reassign vim-common 2:8.0.0003-1
Control: merge 837793 837880
On Thu, Sep 15, 2016 at 07:40:01AM +0200, Salvo Tomaselli wrote:
> It apparently is impossible to globally disable the mouse.
> # echo set mouse=\"\" >> /etc/vim/vimrc
NB, the quotes aren't necessary. "set mouse=" is how to unset the
'mouse' option. " is Vim's comment character.
Also, it's better to put your system config in /etc/vim/vimrc.local
(which is sourced by /etc/vim/vimrc) so you don't run into conffile
prompts if I change /etc/vim/vimrc.
> has no effect whatsoever, if the users don't have their own local
> ~/.vimrc, which is not what I would expect from a system wide
> configuration file.
Yeah, this is the same root cause as what's reported in #837793. I'm
still trying to think how best to solve that.
GPG Key: 4096R/91BF BF4D 6956 BD5D F7B7 2D23 DFE6 91AE 331B A3DB