tcs-bot

Discord bot that verifies members of unofficial TCS @ UT Discord servers.

License

This code is released under the GPLv3 license. A copy is located at LICENSE.

Building

$ nix build .#

or, for the non-purists:

$ ./gradlew installDist

Environment variables

These variables are automatically loaded from the current working directory's .env file.

• DISCORD_ACCESS_TOKEN: Discord Bot token (required)

• CANVAS_ACCESS_TOKEN: Canvas access token (required)

• CANVAS_BASE_URL: (default: https://canvas.utwente.nl)

• REDIS_CONNECTION_STRING: connection string for the Redis/Valkey cache (default: localhost:6379)

• DATABASE_CONNECTION_STRING: connection string for the SQlite/PostgreSQL database (default: jdbc:sqlite:db.sqlite)

• DATABASE_USERNAME: database username (default: null)

• DATABASE_PASSWORD: database username (default: null)

• MICROSOFT_CLIENT_ID: client id used for Microsoft authentication (required)

• MICROSOFT_CLIENT_SECRET: client secret used for Microsoft authentication (required)

• MICROSOFT_AUTH_ENDPOINT: authentication endpoint used for Microsoft authentication (required)

• HOST: host the http server listens on (default: 0.0.0.0)

• PORT: port the http server listens on (default: 6969)

• HOSTNAME: the hostname used for (for example) redirect URI's (required)

• ENVIRONMENT: either DEVELOPMENT or PRODUCTION (default: PRODUCTION)

• METRICS_PREFIX: ip address prefix Prometheus metrics are available on (doesn't affect DEVELOPMENT environment) ( default: "100")

• DISCORD_DEPLOYER_ID: list of users with bot management permissions