managing plugin skew - patch in integration

[Matthieu Moy]

Robert Collins <robertc at robertcollins.net> writes:

> So I've patched the plugin system to not load plugins with a name that
> has already been loaded. I.e. if I have 'bzrtools' in my source tree and
> in ~/.bazaar/plugins/, the one in ~/.bazaar/plugins will be ignored.

Nice.

BTW, it's an elegant way to allow a user to disable a system-wide
plugin, by putting an empty plugin with the same name in his
~/.bazaar/plugins.

-- 
Matthieu