Difference between revisions of "Discord"
Jump to navigation
Jump to search
(Created page with "Letting GExtension communicate with your discord guild requires you to create an application and add a bot to your guild. ==Setup== #Go to the [https://discordapp.com/develop...") |
(→Roles) |
||
Line 18: | Line 18: | ||
#Navigate to '''Admin -> Settings -> Groups -> Edit -> Discord Synchronization''' | #Navigate to '''Admin -> Settings -> Groups -> Edit -> Discord Synchronization''' | ||
#Insert the id of the role for the group in the specified bundle. For example the ID for the role "TTT-Moderator" in the TTT bundle of the group Moderator. | #Insert the id of the role for the group in the specified bundle. For example the ID for the role "TTT-Moderator" in the TTT bundle of the group Moderator. | ||
+ | |||
+ | The synchronization of a user will be checked everytime the discord username is changed in the profile settings. | ||
==FAQ== | ==FAQ== | ||
'''How do I get the ID of a role?''' | '''How do I get the ID of a role?''' | ||
*Go to any channel and send a message with the content "'''\@[RoleName]'''" with replacing ''[RoleName]'' with the name of the role. For example '''\@Moderator'''. You will get something like '''<@&552888644130701312>'''. In this case, '''552888644130701312''' is the desired role id. | *Go to any channel and send a message with the content "'''\@[RoleName]'''" with replacing ''[RoleName]'' with the name of the role. For example '''\@Moderator'''. You will get something like '''<@&552888644130701312>'''. In this case, '''552888644130701312''' is the desired role id. |
Revision as of 11:38, 30 March 2019
Letting GExtension communicate with your discord guild requires you to create an application and add a bot to your guild.
Setup
- Go to the Discord Developer Portal and create a new application. As name you can choose something like "GExtensionBot" or similar.
- After creating the application, navigate to the Bot tab and click the Add bot button.
- On your GExtension web-panel, navigate to Admin -> Settings -> Discord and insert the required data:
- The guild/server id can be retrieved by following this guide.
- The application client id can be found in the General information tab of the application that we just created.
- The bot token can be found in the Bot tab after clicking Click to Reveal Token.
- Click Save
- Add the bot to your server by clicking Add bot to guild
- A new role has been created in your guild, which has the same name as your bot. Go to Discord server settings -> Roles and move the role (e.g. "GExtensionBot") to the highest position.
If you did all steps correctly, you should now find your discord guild in the Servers.
Roles
Roles can be given thourgh a reward of a donation package or as synchronization of a GExtension group. To establish a synchronization, follow these steps:
- Navigate to Admin -> Settings -> Groups -> Edit -> Discord Synchronization
- Insert the id of the role for the group in the specified bundle. For example the ID for the role "TTT-Moderator" in the TTT bundle of the group Moderator.
The synchronization of a user will be checked everytime the discord username is changed in the profile settings.
FAQ
How do I get the ID of a role?
- Go to any channel and send a message with the content "\@[RoleName]" with replacing [RoleName] with the name of the role. For example \@Moderator. You will get something like <@&552888644130701312>. In this case, 552888644130701312 is the desired role id.