blob: e1bab25ffcc0d7e0e0f6b0d3f0d178fa13fc487c (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env bash
set -eExuo pipefail
# This basic script is needed to cope with the PIE's limitation regarding
# docker and each student's home directory. One cannot mount with docker
# files from home directory.
cp prometheus.yml /tmp/prometheus.yml
docker compose up -d || docker-compose up -d
|
