search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

plugins_enabled / plugins_disabled #91

Closed videlec closed 8 years ago

videlec commented 8 years ago

Allow to enable/disable a given list of plugins.

videlec commented 8 years ago

(Note that I added a --conf option to be able to test my changes)

videlec commented 8 years ago

C'est fait. J'ai aussi modifié le script pour que enable_plugins et disable_plugins disparaissent de patchbot.config (car une fois consommés ils ne servent plus à rien).