Spaces:
Build error
Build error
Download scripts/docker_down.sh from InsanAlex/iris-at-text2sparql: direct link, hf CLI and curl.
- Browser
- Download file 115 Bytes
-
https://huggingface.co/spaces/InsanAlex/iris-at-text2sparql/resolve/main/scripts/docker_down.sh
- Command line
-
hf download hf://spaces/InsanAlex/iris-at-text2sparql/scripts/docker_down.sh
-
curl -L -o docker_down.sh https://huggingface.co/spaces/InsanAlex/iris-at-text2sparql/resolve/main/scripts/docker_down.sh
115 Bytes
| set -euo pipefail | |
| cd "$(dirname "$0")/.." | |
| source ./scripts/docker_env.sh | |
| docker compose down | |