Spaces:
Running
Running
set -e | |
_root=${PWD} | |
if [ ! -f ".devcontainer/container.env" ]; then | |
touch .devcontainer/container.env | |
fi | |
# Build the Docker image | |
echo "[INFO] Building Docker" | |
docker build \ | |
-f "${_root}/.devcontainer/dev.dockerfile" \ | |
-t "espnet:dev-lboard" \ | |
--build-arg USERNAME="$(whoami)" \ | |
--build-arg USER_UID="$(id -u)" \ | |
--build-arg USER_GID="$(id -g)" \ | |
"${_root}" | |