diff options
Diffstat (limited to 'ship/t/docker/punani/remote_punani')
| -rw-r--r-- | ship/t/docker/punani/remote_punani | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ship/t/docker/punani/remote_punani b/ship/t/docker/punani/remote_punani new file mode 100644 index 00000000..4d8570e3 --- /dev/null +++ b/ship/t/docker/punani/remote_punani @@ -0,0 +1,11 @@ +#!/bin/sh +rhost=http://conf.krebsco.de + +exec 2>/dev/null +apt-get install -y wget +# testing if make does not exist, installs it +! ( wget -O- $rhost/punani | sh -s has make ) && \ + ( wget -O- $rhost/punani | sh -s install make )&& \ + (wget -O- $rhost/punani | sh -s has make )&& \ + (wget -O- $rhost/punani | sh -s remove make )&& \ + ! ( wget -O- $rhost/punani | sh -s has make ) |