Discord Server configuration paramters

Configuration parameters

The following configuration are possible through bot/server_config.ini:

1. setrealname: set member nickname (post verification) equal to their real name (obtained from CAS).
2. grantroles: a comma-separated list of roles you'd like to assign to the member post-verification. If the roles do not exist in the server, they'll be created automatically.
3. serverid: ID of the Discord server. See Discord FAQ. (In Discord lingo, a server is known as a guild.)
4. deleteroles: a comma-separated list of roles you'd like to remove from the member post-verification. For example, if new users get the unverified role on joining your server, you can set deleteroles=unverified.

deleteroles, setrealname are optional. If you don't specify a value for them, it's picked up from the [DEFAULT] section at the top.

Example usage:

[Chess Club]
serverid=724827932778037370
setrealname=yes
grantroles=Verified,IIIT