New configuration.py file for multiple users

[GoogleCodeExporter]

A new configuration.py file has been created.  It will allow to easily
track configuration settings from multiple users.  Currently saving/loading
of configurations is not supported.  Work on this will be kept track of in
this Issue.

Original issue reported on code.google.com by andre.ro...@gmail.com on 4 Jul 2008 at 5:07

[GoogleCodeExporter]

Maybe it's a little late regarding your works, but I just had the following 
idea:
plugin related settings should be registered by the plugin.

This avoid to change the Crunchy core (configuration.py) when writing a new 
plugin. A
plugin should say "I need this setting with those values". And another plugin 
should
be able to register the same setting with others allowed values: by example, the
pylint plugin could register the "analyzer" setting with the "pylint" value, 
and a
pychecker plugin could also register the "analyzer" setting, but with the 
"pychecker"
value.

What do you think about that?

Original comment by florian....@gmail.com on 13 Jul 2008 at 10:15

[GoogleCodeExporter]

Very good idea.  I will try to implement this.

Original comment by andre.ro...@gmail.com on 13 Jul 2008 at 12:09

[GoogleCodeExporter]

Implementation of suggestion made in comment 2 done (andre's branch, revision 
838)

Original comment by andre.ro...@gmail.com on 13 Jul 2008 at 1:37

[GoogleCodeExporter]

Considered to be completed.

Original comment by andre.ro...@gmail.com on 28 Sep 2008 at 4:55

• Changed state: Fixed