Compare commits
No commits in common. "master" and "master" have entirely different histories.
9 changed files with 18 additions and 51 deletions
2
.gitignore
vendored
2
.gitignore
vendored
|
@ -1,2 +1,2 @@
|
|||
/target
|
||||
/token
|
||||
/token
|
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
|
||||
Programmation GPU
|
||||
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"
|
2
run.sh
2
run.sh
|
@ -6,4 +6,4 @@ if ! [ -f ./token ]
|
|||
then echo "ERROR : Needs discord API token in ./token" && exit
|
||||
fi
|
||||
|
||||
DEBUG=871777993922588712 ./src/bot.ts ./token
|
||||
DEBUG=871777993922588712 ./src/bot.ts ./token
|
Loading…
Add table
Add a link
Reference in a new issue