-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add a settings configuration from discord #4
Comments
To make this more powerful functions such as poll should depend not on channels' name but rather on their unique IDs. Those IDs would be logged and could be changed at any time. |
The same accounts for roles. |
All global setting in |
Should the configuration interface include all of the informations from the README.md ? @adrienluitot |
Removed |
@adrienluitot Huge question that would change everything I've done so far concerning server specific configuration... sometimes dramatic changes are required (yes I'm looking at you |
This would even allow us to easily use JSON which is much more commonly understood by programmers. And it would also allow extensions to reload only specific files instead of everything each time a single modification has been done for any server. |
We are now switching to this new configuration structure for its benefits are numerous and more important than the current one. |
Also JSON will now be used for the configuration files. It's a common format much used among programmers and it's easy to handle in python using the |
I don't really know, it depends on how you want to "use" your bot. If you want to host it for other servers (not yours) I think have different config is needed. But in any case I think it could be cool if you have multiple server, for example if you have a french and an english server the "poll" channel will not have the same name. |
There will indeed be one host (me) who will run it for several servers. I'm not sure I understand what you mean by "poll" though ? Server owners are already able to mark any channel as a poll one. Thus the language doesn't matter, only IDs do. |
@adrienluitot all that's left is the Todo which I haven't looked at yet. We're almost there ! |
Finally completed with 5d59919 |
Add a suite of functions which allow any admin to change the way the bot works. More specifically it would allow to change settings in
settings.py
Checklist of all that's left to do:
The text was updated successfully, but these errors were encountered: