From 5f89c039206c9ef176b431f4bd47c3ceac92683c Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Sat, 28 Jan 2017 09:28:54 +0100
Subject: [PATCH] Add admin command for re-installing CIs
---
install/install-ci.sh | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
create mode 100755 install/install-ci.sh
diff --git a/install/install-ci.sh b/install/install-ci.sh
new file mode 100755
index 0000000..dbff4a8
--- /dev/null
+++ b/install/install-ci.sh
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+# Sat 28 Jan 09:16:48 2017 CET
+
+if [ "${#}" != 1 ]; then
+ echo "usage: `basename $0` <prefix>"
+ echo "example: `basename $0` /opt/conda"
+ exit 1
+fi
+
+BASEDIR=$1
+CURDIR=`pwd`
+CONDA=${BASEDIR}/bin/conda
+
+echo "[>>] Cleaning conda cache..."
+${CONDA} clean --all --yes
+
+for k in 2.7 3.4 3.5; do
+ py=`echo $k | sed -e 's/\.//'`
+ e="bob-devel-py$py"
+ echo "[>>] Installing CI environment $e using python-$k..."
+ ${CURDIR}/from-scratch.sh ${BASEDIR} $e $k
+done
--
GitLab