Actually export via Docker

Author: gaggle

Dockerfile

@@ -0,0 +1,15 @@
+FROM node:10-alpine
+ARG SCRAPED_DIR
+
+RUN apk update && \
+    apk add git
+
+RUN git clone https://github.com/gaggle/repo-lister /home/repo-lister && \
+    chmod -R 0777 /home/repo-lister
+WORKDIR /home/repo-lister
+RUN npm ci
+RUN rm static/repos && \
+    ln -s $SCRAPED_DIR static/repos
+COPY scripts/export-via-docker /home/export-via-docker
+
+ENTRYPOINT ["/home/export-via-docker"]

scripts/export-via-docker

@@ -0,0 +1,9 @@
+#!/bin/sh -eu
+
+DATA_URL=$1
+OUT_FOLDER=$2
+echo "Exporting to '${OUT_FOLDER}' w. URL '${DATA_URL}'"
+export DATA_URL=${DATA_URL}
+npx next build
+mkdir -p ${OUT_FOLDER}
+npx next export -o ${OUT_FOLDER}