Discord bot for keeping track of user time zones.
Find a file
2019-09-07 13:03:37 -07:00
.gitignore Separated settings into own file; added reporting task 2018-08-01 17:40:41 -07:00
client.py Update Discord Bots API endpoint 2018-12-07 21:17:44 -08:00
commands.py Change prefix in user display for better readability 2018-11-01 21:09:38 -07:00
common.py Display small list of users in list 2018-08-28 11:17:22 -07:00
dbtransfer.py Add database copy utility 2018-11-01 20:07:08 -07:00
DiscordBots.md Updated Discord Bots page 2019-09-07 11:35:04 -07:00
LICENSE.txt Initial commit 2018-05-20 00:20:15 -07:00
README.md Update Readme with info and invite links 2018-12-07 21:29:06 -08:00
settings_default.py Switch database type to PostgreSQL 2018-11-01 19:05:21 -07:00
userdb.py Increase limits on listing 2019-09-07 13:03:37 -07:00
worldtime.py Update note on discord.py 2019-09-07 13:03:30 -07:00

World Time

A common problem since the beginning of the Internet: You find yourself in an online community with users scattered all over different time zones. You seek people to talk to, but they're idle. You are reminded of the concept of time zones and begin to wonder: what if this is not a good time for them?

This bot aims to answer the age-old question, "What time is it for everyone?" Users specify their time zones. Others users can then ask the bot what time it is for a person in particular, or get an overview of the most common time zones amongst recently active members.

Setup

  1. Install the necessary dependencies: pytz, psycopg2, and discord.py (rewrite branch).
  2. Copy settings_default.py to settings.py and configure as needed.
  3. Run worldtime.py.