Omnipotent guild management bot for FIRST Discord servers
Table of Contents
Installing Python 3.6
python -V to find what version of python you are running. If you are running version 3.6 or newer, feel free to skip this section
python -V to ensure that version 3.6 or newer is installed.
Many distributions do not have python 3.6 in their repositories yet. If this is the case for you, then pyenv is a great option for managing different python versions.
Instructions for installing are located here.
pyenv install 3.6.3downloads and builds a newer version of python
pyenv global 3.6.3sets 3.6.3 as the primary version for the current user
python -Vto ensure that version 3.6 or newer is installed.
Through the rest of this README, we will assume that you have found the correct
python executable for your setup and are using it accordingly.
Getting your Discord Bot Token
Go to the Discord Developer Portal and create a new application.
Create a bot user inside of your application.
Copy the bot user token - We'll need that later! Do not share your token with anyone. If someone obtains your bot user token, they gain full control of your bot. Be careful!
Getting a Google Maps API Key
Go to the Google Map APIs Docs and request an API key
Create a new project.
Copy the API key - We'll need this too!
Setting up the bot
- Install dependencies with
python -m pip install -Ur requirements.txt
- Run the bot once with
python -m dozer. This will crash, but generate a default config file.
- Dozer uses json for it's config file
- Add the Discord bot account's token to
- Add your Google Maps API key to
- Add information about your team and your bot to
- Add your ID, and anyone else's ID who should be able to use the developer commands, to the list
- Be careful giving this out. Developers can control everything your bot does and potentially get your bot user token!
- The default command prefix is &. If this is already in use on your server or you would like another prefix, you can change the
- Run the bot again, you should see
Signed in as username#discrim (id)after a few seconds.
Adding the bot to your server
Note: This process will eventually be replaced by an
To add the bot to your server, paste the following link into your browser. Your client ID can be found on the applications page in the Discord Developer Portal
Select the server that you would like to add the bot to.
Try it out!
[prefix]helpto see what Dozer can do.