Gentoo Archives: gentoo-science

From: P Purkayastha <ppurka@×××××.com>
To: support@××××××××××.org, gentoo-science@l.g.o
Subject: [gentoo-science] [patch] system-wide install of debug_gap.vim can not be overridden
Date: Sun, 05 Jun 2011 09:45:34
1 Hi,
3 I installed sage and also gap via the sage-for-gentoo overlay on a
4 Gentoo linux system (64 bit installation). It turned out that gap
5 installed a plugin /usr/share/vim/vimfiles/plugin/gap_debug.vim where
6 some keybindings are defined to help debug gap programs.
8 First, I think this file should go under
9 /usr/share/vim/vimfiles/ftplugin directory since it applies only to gap
10 files. Secondly, the files define some keybindings without allowing for
11 the user to override those keybindings in ~/.vimrc.
13 I am attaching a patch which defines a global vim variable. If the user
14 sets that variable in ~/.vimrc, then this gap plugin will not be read.
15 This is one way I think the plugin can be made to not supersede user
16 settings.
18 If there is some other way of overriding that plugin file, please let me
19 know.
21 Thanks and regards,
22 Punarbasu.


File name MIME type
debug_gap.patch.txt text/plain


Subject Author
Re: [gentoo-science] [patch] system-wide install of debug_gap.vim can not be overridden Francois Bissey <fbissey@××××××××××××.nz>