Add docker infrastructure

Author: mniip

README.md

@@ -362,21 +362,30 @@ The bot requires:
  - PostgreSQL 12+
  - Libraries listed in `requirements.txt`
 
-You will need to create a static config file called `bot.conf` in the working
-directory of the bot, see `bot.conf.example`.
+It is recommended to use Docker Compose to satisfy these dependencies. To setup the Docker containers run:
+```sh
+docker-compose build
+```
+Next you will need to create a static config file called `bot.conf` in the root directory, based on `bot.conf.example`.
 
-Next you will need to do a little bit of initial configuration so that the bot can respond to your commands. From the directory containing `bot.conf` run the following (adjust `PYTHONPATH` so that the necessary module is in scope):
+Next you will need to do a little bit of initial configuration so that the bot can respond to your commands:
 ```sh
-python -m util.setup
+docker-compose run bot python -m util.setup
 ```
 This will prompt you for your Discord user ID, and the command prefix.
 
-Now you can run the bot by executing `main.py`. You can continue the configuration over Discord, for example:
+Now you can run the bot with:
+```sh
+docker-compose up
+```
+
+You can continue the configuration over Discord, for example:
 ```
 .load discord_log
 .config syslog 268882890576756737
 .config autoload add discord_log 0
 ```
+(replace `.` with the command prefix you chose).
 
 If you'd like to use your own plugins from a different repository, say from
 `$DIR`, you can put it on the `PYTHONPATH`, and the bot will look for plugins in

bot.conf.example

@@ -1,9 +1,8 @@
 # A config with values that are very unlikely to change during execution
 [DB]
-# Database connection string
-# If you have PostgreSQL running locally, most likely you want just the dbname= parameter
-dsn = dbname=db host=localhost port=12345
-# Directory with migration files
+# Database connection string, should work with the provided docker image
+dsn = host=db user=bot password=bot dbname=discord
+# Directory with migration files, should work with the provided docker image
 migrations = migrations/
 [Log]
 # Log directory

docker-compose.yml

@@ -0,0 +1,28 @@
+version: '3'
+services:
+  bot:
+    build: docker
+    volumes:
+      - type: bind
+        source: $PWD
+        target: /opt/bot/
+    depends_on:
+      db:
+        condition: service_healthy
+
+  db:
+    image: postgres:12.20-alpine
+    environment:
+      POSTGRES_USER: bot
+      POSTGRES_PASSWORD: bot
+      POSTGRES_DB: discord
+    volumes:
+      - db:/var/lib/postgresql/data
+    healthcheck:
+      test: ["CMD-SHELL", "pg_isready -U bot -d discord"]
+      start_interval: 1s
+      start_period: 1m
+      interval: 10m
+
+volumes:
+  db:

docker/Dockerfile

@@ -0,0 +1,8 @@
+FROM python:3.9-alpine
+RUN apk add --no-cache gcc g++ musl-dev git
+COPY requirements_core.txt /
+RUN pip install --use-pep517 --requirement /requirements_core.txt \
+    && rm requirements_core.txt
+
+WORKDIR /opt/bot/
+CMD ["python", "main.py"]

docker/requirements_core.txt

@@ -0,0 +1,10 @@
+aiohttp
+aiohttp-session
+asyncpg
+datrie
+pyright==1.1.378
+PyYAML 
+sqlalchemy >= 2
+types-requests
+types-PyYAML
+typing_extensions

requirements_core.txt

@@ -0,0 +1 @@
+docker/requirements_core.txt