build: rename docker

ahoi-attacks · May 3, 2024 · 2b319c3 · 2b319c3
1 parent e4fec0c
commit 2b319c3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docker/docker-build.sh b/docker/docker-build.sh
@@ -3,7 +3,7 @@ here_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 proj_dir="$here_dir/.."
 set -euo pipefail
 
-name=heckler-docker:latest
+name=beancd/ahoi-heckler:latest
 
 docker build -t $name .
 
diff --git a/docker/docker-run.sh b/docker/docker-run.sh
@@ -3,7 +3,7 @@ here_dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
 proj_dir="$here_dir/.."
 
 
-name=heckler-docker
+name=beancd/ahoi-heckler:latest
 
 # XXX: --mount: to compile host kernel inside container
 # XXX: --priviledged: we need this to run snp guest inside docker