Compare commits
No commits in common. "master" and "master" have entirely different histories.
9 changed files with 18 additions and 51 deletions
11
Dockerfile
Normal file
11
Dockerfile
Normal file
|
@ -0,0 +1,11 @@
|
||||||
|
FROM denoland/deno:debian
|
||||||
|
RUN mkdir /app
|
||||||
|
|
||||||
|
WORKDIR /app
|
||||||
|
|
||||||
|
COPY . ./
|
||||||
|
|
||||||
|
RUN chmod +x ./run.sh
|
||||||
|
RUN chmod +x ./src/bot.ts
|
||||||
|
|
||||||
|
ENTRYPOINT [ "./run.sh" ]
|
5
docker.sh
Executable file
5
docker.sh
Executable file
|
@ -0,0 +1,5 @@
|
||||||
|
#!/bin/bash
|
||||||
|
docker stop ruche-manager
|
||||||
|
docker remove ruche-manager
|
||||||
|
docker build . --tag ruche-manager/ruche-manager:latest
|
||||||
|
docker run -d --name ruche-manager --restart unless-stopped ruche-manager/ruche-manager:latest
|
|
@ -12,5 +12,3 @@ Deploiment
|
||||||
Dev à l'Échelle
|
Dev à l'Échelle
|
||||||
Programmation GPU
|
Programmation GPU
|
||||||
PFEE
|
PFEE
|
||||||
Éléments de Recherche Opé
|
|
||||||
Marque Personnelle
|
|
||||||
|
|
1
packaging/docker/.gitignore
vendored
1
packaging/docker/.gitignore
vendored
|
@ -1 +0,0 @@
|
||||||
/docker-ruche-manager.tgz
|
|
|
@ -1,11 +0,0 @@
|
||||||
# syntax=docker/dockerfile:1
|
|
||||||
FROM denoland/deno:1.46.1
|
|
||||||
|
|
||||||
USER deno
|
|
||||||
|
|
||||||
COPY --from=project src /ruche-manager/src
|
|
||||||
COPY --from=project modules.conf /ruche-manager/modules.conf
|
|
||||||
WORKDIR /ruche-manager
|
|
||||||
RUN deno cache /ruche-manager/src/bot.ts
|
|
||||||
|
|
||||||
ENTRYPOINT [ "/ruche-manager/src/bot.ts", "/token" ]
|
|
|
@ -1,11 +0,0 @@
|
||||||
#!/bin/bash
|
|
||||||
set -e
|
|
||||||
cd "$(dirname "$(realpath "$0")")"
|
|
||||||
|
|
||||||
|
|
||||||
project_dir="$(dirname "$(dirname "$PWD")")"
|
|
||||||
tag="ruche-manager/ruche-manager:latest"
|
|
||||||
|
|
||||||
|
|
||||||
docker build --tag="$tag" --build-context=project="$project_dir" .
|
|
||||||
docker image save --output="docker-ruche-manager.tgz" "$tag"
|
|
|
@ -1,24 +0,0 @@
|
||||||
#!/bin/bash
|
|
||||||
set -e
|
|
||||||
cd "$(dirname "$(realpath "$0")")"
|
|
||||||
|
|
||||||
|
|
||||||
project_dir="$(dirname "$(dirname "$PWD")")"
|
|
||||||
tag="ruche-manager/ruche-manager:latest"
|
|
||||||
name="ruche-manager"
|
|
||||||
|
|
||||||
|
|
||||||
if ! [ -f "$project_dir/token" ]
|
|
||||||
then echo "ERROR : Needs discord API token in '$project_dir/token'" && exit
|
|
||||||
fi
|
|
||||||
|
|
||||||
docker remove --force "$name"
|
|
||||||
docker build --tag="$tag" --build-context=project="$project_dir" .
|
|
||||||
docker run \
|
|
||||||
--volume="$project_dir/token:/token" \
|
|
||||||
--volume="$project_dir/local:/ruche-manager/local" \
|
|
||||||
--user="$(id -u):$(id -g)" \
|
|
||||||
--restart="unless-stopped" \
|
|
||||||
--name="$name" \
|
|
||||||
--detach \
|
|
||||||
"$tag"
|
|
Loading…
Add table
Add a link
Reference in a new issue