ci: add masked .env file

docker/.env

@@ -0,0 +1,13 @@
+USER_NAME="xxxxx" # find this by running `id -un` on HaaS
+USER_ID=123 # find this by running `id -u` on HaaS
+GROUP_NAME1="xxxxx" # find this by running `id -gn` on HaaS
+GROUP_ID1=123 # find this by running `id -g` on HaaS
+GROUP_NAME2="yyyyy"
+GROUP_ID2=456
+#
+GITHUB_PERSONAL_TOKEN="xxxxx"
+WANDB_API_KEY="xxxxx"
+GITHUB_NAME="xxxxx"
+GITHUB_EMAIL="[email protected]"
+GITHUB_USERNAME="xxxxx"
+HF_API_KEY="xxxxx"

docker/build_image.sh

@@ -0,0 +1,9 @@
+#!/bin/sh
+
+project="${1:-gcd}"  # Use "llama" if no argument is provided
+tag="${2:-latest}"     # Use "latest" if no tag argument is provided
+user="${3:-geng}"
+
+docker build -f docker/Dockerfile  --build-arg USER_NAME=${user} --build-arg PROJECT_NAME=${project} -t ic-registry.epfl.ch/dlab/"${user}"/"${project}":"${tag}" --secret id=dot_env,src=docker/.env .
+
+#docker push ic-registry.epfl.ch/dlab/"${user}"/"${project}":"${tag}"