A Discord bot, made with Gleam, designed to help manage a pixel art server.
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Dockerise

Isaac cec66cd2 6ffd40bc

+32
+26
Dockerfile
··· 1 + ARG ERLANG_VERSION=28.3.0 2 + ARG GLEAM_VERSION=v1.14.0 3 + 4 + # Gleam me up Scotty! 5 + FROM ghcr.io/gleam-lang/gleam:${GLEAM_VERSION}-scratch AS gleam 6 + 7 + # Build me up... Scotty! 8 + FROM erlang:${ERLANG_VERSION}-alpine AS build 9 + COPY --from=gleam /bin/gleam /bin/gleam 10 + COPY . /app/ 11 + RUN cd /app && gleam export erlang-shipment 12 + 13 + # Final me up scotty 14 + FROM erlang:${ERLANG_VERSION}-alpine 15 + ARG GIT_SHA 16 + ARG BUILD_TIME 17 + ENV GIT_SHA=${GIT_SHA} 18 + ENV BUILD_TIME=${BUILD_TIME} 19 + 20 + RUN addgroup --system bot \ 21 + && adduser --system bot -g bot 22 + USER bot 23 + COPY --from=build /app/build/erlang-shipment /app 24 + WORKDIR /app 25 + ENTRYPOINT ["/app/entrypoint.sh"] 26 + CMD ["run"]
+6
compose.yml
··· 1 + services: 2 + pablo_pixarto_bot: 3 + build: . 4 + volumes: 5 + - "./db.json:/app/db.json" 6 + env_file: .env