Getting Discord IDs
Enable Developer Mode
- Open Discord Settings
- Go to App Settings β Advanced
- Enable Developer Mode
Copy Channel IDs
- Right-click on any channel
- Click Copy Channel ID
- Paste the ID into your
config.json
Copy Role IDs
- Go to Server Settings β Roles
- Right-click on a role
- Click Copy Role ID
- Paste the ID into your
config.json
Channel Configuration
Discord channels used by the bot.
Channel Parameters
Channel where level-up notifications are posted.When a user levels up from chatting, the bot will post a congratulations message with a custom banner image in this channel.
Channel containing the server rules.Used by the
rupdate command to update rule messages. Staff can edit rules using bot commands.Announcement channel for important server news.
This should be an announcement channel that can be followed by other servers.
Channel for bot activity logs.The bot logs moderation actions, errors, and important events here.
Channel where users can post advertisements.Controlled by the
adstimeout setting in general configuration.Name of the voice channel that creates temporary channels.When a user joins this voice channel, the bot automatically creates a new temporary voice channel for them and moves them into it. The channel is deleted when empty.
This is a channel name, not an ID. The bot searches for a voice channel with this exact name.
Channel where meal plans are automatically posted.The bot posts weekly meal plans from the configured cafeteria URL to this channel.
This should ideally be an announcement channel so students can follow it in their own servers.
Role Configuration
Discord roles used by the bot for permissions and notifications.
Role Parameters
Role ID for server staff members.Users with this role can:
- Use administrative commands
- Send messages as the bot
- Update server rules
- Force post meal plans
- Access moderation commands
Role ID for semester moderators.Users with this role have limited moderation permissions specific to their semester or program.
Role given to verified students.Students receive this role after completing email verification with their university email address.
The bot checks that emails end with the correct domain (e.g.,
@stud.hs-kempten.de).Role that gets pinged when meal plans are posted.Users can self-assign this role by clicking the button on meal plan posts. Theyβll be notified whenever a new weekly meal plan is posted.
Example Configuration
All channel and role IDs are strings in the JSON file, even though they represent numbers.