Doc Summary
Introduction #
In this doc you will find usefull information regarding your Discord Bot App Server at ProRedLine. After reading this doc, you’ll know how to configure your bot, adding the bot to your community, and more.
Startup Variables #
Once the server has been installed, you will need to configure it before it can run as expected.
On your server’s dashboard, go to the “Startup” tab. Here, you will find several settings that you can configure according to your specific needs. Below is a list of options available for your Discord Bot server in the “Startup” tab:
- STARTUP COMMAND and DOCKER IMAGE are read-only variables and cannot be modified.
- BOT TOKEN. Place your discord bot token here. Go to the 3rd page of this manual for information on how to get this token.
- BOT PREFIX. This is the symbol used by your bot to trigger commands. Default is “!” but you can change this to whatever you prefer.
- [READ ONLY] PYTHON VERSION. The python version used for your Discord Bot.
Starting bot #
Once everything is set up, you can start the server from the “Console” tab by clicking “Start”. Please allow some time for the server to start. Your bot has successfully started when the following is shown in the console: “Logged in as {your bot’s name}”.
Creating bot within Discord Developer #
To host a Discord bot, two steps need to be completed. The first step has already been done by setting up your bot on the ProRedLine customer dashboard. Now, we need to add the actual bot to your account and eventually link it to a Discord server. Please follow these steps carefully:
- Go to https://discord.com/developers/applications and sign in with your Discord account.
- After signing in, click the “New Application” button.
- A pop-up will appear asking for a name for your “application.” This name can be anything you like and is not the name of your Discord bot. After entering the name, click on “Create.”
- Your application has been created. Now, we need to add the actual Discord bot. Navigate to the “Bot” tab on the page that opens after creating the application.
- You can now customize the bot’s icon, banner, and username according to your preferences.
- Now, we need to enable Privileged Gateway Intents. Without these enabled, your bot won’t function properly. On the same page as step 5, scroll down to Privileged Gateway Intents and enable the following options:
— PRESENCE INTENT
— SERVER MEMBERS INTENT
— MESSAGE CONTENT INTENT.
Obtain Bot Token #
- The final step is to obtain your bot token. This token is used by your ProRedLine-hosted Discord bot to connect with your actual Discord bot. Scroll back up to the “TOKEN” section on the same page as step 6. Click “Reset Token”, and a new token will appear. This token can only be viewed once, so make sure to copy it immediately and store it in a secure location.
- Now, return to your ProRedLine Discord Bot’s dashboard and navigate to the “STARTUP” tab. Paste your copied bot token into the “BOT TOKEN” field.
Congratulations! Your ProRedLine-hosted bot is now successfully connected with your Discord Application Bot.
Adding bot to Discord server/community #
- Return to the Discord Developer Portal (https://discord.com/developers/applications), sign in, and select your application.
- Navigate to the “OAuth2” tab.
- Scroll down to the “OAuth2 URL Generator,” select “bot,” and under “BOT PERMISSIONS,” choose “Administrator.”
- Scroll down to the “GENERATED URL” section and click “Copy.” Paste this URL into a new tab in your browser. You will be redirected to Discord, where you’ll be prompted to select the server to which you want to add the bot.
- Your bot has now been added to your Discord server. Return to your ProRedLine Discord Bot dashboard and start your server. Once it’s running, you’ll be able to see and use your Discord bot in the server you added it to.
Modifying Discord Bot’s Files #
This is one of our servers where you are free to modify the server’s files as you wish. The Discord bot comes with simple commands upon installation, but you are free to modify, add commands, change the bot’s status, enable support for application commands, and more. There are no limits on how you can code this bot.
Coding Language #
The bot is coded in Python, meaning that any modification to your bot’s files requires knowledge of this programming language. Without proper understanding, you risk breaking your bot and preventing it from running correctly. We highly recommend making copies of files before making any changes.
Certain lines of code manage information for your dashboard. These lines must not be removed or modified, as doing so may prevent your server from starting properly.
Bot.py File #
It’s also crucial that you do not modify or delete the bot.py file. This file is the core of your Discord bot, and without it, your server will fail to start.
Updating server #
To update your server’s software, follow these steps:
- Go to the “Settings” Tab: Open your server dashboard and navigate to the Settings tab.
- Scroll Down: Locate the option labeled Reinstall Server.
- Click on “Reinstall Server”: This will start the reinstallation process.
Important note: Reinstalling your server using this method will update the core files only. Your saved data, mods, and custom configurations will generally remain intact. However, we strongly recommend creating a backup of all essential data before proceeding, as some server types may still overwrite or remove custom content.
Clean Reinstallation #
To fully reinstall your server with a clean set of software and files:
- Stop the Server: Ensure your server is not running.
- Delete All Files: Navigate to the Files tab, select all folders and files, and click Delete.
- Reinstall the Server: Once all files are removed, follow the same steps outlined above for updating your server.
Note: This process will permanently remove all files from your server, including custom folders, mods, and configurations and bot.py. This action is irreversible unless you have created a backup in advance.
Troubleshooting & Support #
If you encounter any issues or have questions regarding your server at ProRedLine, you can reach our support team at:
For questions specifically about the software, we recommend contacting the official support for Discord:
Legal Information #
When managing and configuring your server, it is important to adhere to the following guidelines:
- ProRedLine Terms of Service (ToS): Be aware of ProRedLine’s Terms of Service. This document outlines the rules and responsibilities of using ProRedLine’s services, including hosting and server management.
- ProRedLine Acceptable Use Policy (AUP): Ensure that your server complies with ProRedLine’s Acceptable Use Policy. This policy defines what is acceptable and unacceptable behavior on the platform, helping to protect the integrity of the service and the community.
- Discord Developer Terms of Service: https://support-dev.discord.com/hc/nl/articles/8562894815383-Servicevoorwaarden-voor-Discord-ontwikkelaars
- Discord Developer Policy: https://support-dev.discord.com/hc/nl/articles/8563934450327-Discord-ontwikkelaarsbeleid
By following these guidelines, you can ensure that your server remains compliant with the relevant legal and ethical standards. Implementing malware or any form of malicious code is strictly prohibited by ProRedLine’s Terms of Service. Any violation will result in the immediate permanent suspension of your server and may lead to legal action.
Still need help after reading this article?
