aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/dev.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/dev.sh')
-rwxr-xr-xscripts/dev.sh65
1 files changed, 0 insertions, 65 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh
deleted file mode 100755
index efbd93a..0000000
--- a/scripts/dev.sh
+++ /dev/null
@@ -1,65 +0,0 @@
-#!/usr/bin/env sh
-
-# Sets up a development environment and runs a shell in a docker container.
-# Usage: dev.sh [--build [--clean]] [bash_args ...]
-
-if [ "$1" = "--build" ]; then
- shift
- printf "Building ghcr.io/python-discord/snekbox-venv:dev..."
-
- docker build \
- -t ghcr.io/python-discord/snekbox-venv:dev \
- -f Dockerfile \
- --build-arg DEV=1 \
- --target venv \
- -q \
- . \
- >/dev/null \
- && printf " done!\n" || exit "$?"
-
- if [ "$1" = "--clean" ]; then
- shift
- dangling_imgs=$(docker images -f "dangling=true" -q)
-
- if [ -n "${dangling_imgs}" ]; then
- printf "Removing dangling images..."
-
- # shellcheck disable=SC2086
- docker rmi $dangling_imgs >/dev/null \
- && printf " done!\n" || exit "$?"
- fi
- fi
-fi
-
-# Keep the container up in the background so it doesn't have to be restarted
-# for the ownership fix.
-# The volume is mounted to same the path in the container as the source
-# directory on the host to ensure coverage can find the source files.
-docker run \
- --tty \
- --detach \
- --name snekbox_test \
- --privileged \
- --hostname pdsnk-dev \
- --ipc="none" \
- -e PYTHONDONTWRITEBYTECODE=1 \
- -e PIPENV_PIPFILE="/snekbox/Pipfile" \
- --volume "${PWD}":"${PWD}" \
- --workdir "${PWD}"\
- --entrypoint /bin/bash \
- ghcr.io/python-discord/snekbox-venv:dev \
- >/dev/null \
-
-# Execute the given command(s)
-docker exec -it snekbox_test /bin/bash "$@"
-
-# Fix ownership of coverage file
-# BusyBox doesn't support --reference for chown
-docker exec \
- -it \
- -e CWD="${PWD}" \
- snekbox_test \
- /bin/bash \
- -c 'chown "$(stat -c "%u:%g" "${CWD}")" "${CWD}/.coverage"'
-
-docker rm -f snekbox_test >/dev/null # Stop and remove the container