diff options
| author |  Sebastiaan Zeeff <[email protected]> | 2020-11-19 00:02:15 +0100 |
|---|---|---|
| committer | Sebastiaan Zeeff <[email protected]> | 2020-11-19 00:10:41 +0100 |
| commit | 8135eee5524206e497f22a1be753a927407ee706 (patch) | |
| tree | ad9f2aad5cda66e7cc36f8e219f4a929c66510f4 /scripts | |
| parent | Remove redundant build commands for Pipfile (diff) | |
Fix Dockerfile paths & revert error in Dockerfile
I've fixed paths still pointing to the old Dockerfile location. I've
also reverted an error that somehow got committed to the Dockerfile.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dev.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev.sh b/scripts/dev.sh index f9fc016..f9cd28e 100755 --- a/scripts/dev.sh +++ b/scripts/dev.sh @@ -9,7 +9,7 @@ if [ "$1" = "--build" ]; then docker build \ -t ghcr.io/python-discord/snekbox-venv:dev \ - -f docker/Dockerfile \ + -f Dockerfile \ --build-arg DEV=1 \ --target venv \ -q \ |