Initial Docker deployment setup

docker/entrypoint.sh

@@ -0,0 +1,15 @@
+#!/bin/sh
+# Start a compiled program.
+set -eu
+
+if [ "${1:-}" = "drivershub" ]; then
+    shift
+    exec /app/drivershub "$@"
+fi
+
+if [ "${1:-}" = "bannergen" ]; then
+    shift
+    exec /app/bannergen "$@"
+fi
+
+exec "$@"

docker/mariadb-entrypoint.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+# Prepare the external table directory. Then, start MariaDB.
+set -eu
+
+mkdir -p /var/lib/mysqlext
+chown mysql:mysql /var/lib/mysqlext
+
+exec /usr/local/bin/docker-entrypoint.sh "$@"

docker/mariadb-init.sql

@@ -0,0 +1,3 @@
+-- The DATA DIRECTORY table definitions require this privilege.
+GRANT FILE ON *.* TO 'drivershub'@'%';
+FLUSH PRIVILEGES;