Also for stats report which repo and which job number use our setup

[neurodebian.git] / tools / nd_updatedist

diff --git a/tools/nd_updatedist b/tools/nd_updatedist
index 432f9bc47eb08e5ab49066f5175db7964ca014f7..39d345ecaba8e72b863048c7edf3e804fe54604a 100755 (executable)
--- a/tools/nd_updatedist
+++ b/tools/nd_updatedist
@@ -1,6 +1,26 @@
 #!/bin/bash
 
-. /home/neurodebian/neurodebian.git/tools/nd_cmdsettings.sh
+if [ $# -eq 1 ]; then
+  family=${1%%-*}
+  dist=${1##*-}
+elif [ $# -ge 2 ]; then
+  family=$1
+  dist=$2
+fi
+
+set -e
+
+if [ -z "$family" ]; then
+  echo "you need to provide a distribution family ('debian', 'ubuntu'); prefix with 'nd+' to enable the neurodebian repository."
+  exit 1
+fi
+
+if [ -z "$dist" ]; then
+  echo "you need to provide a distribution codename (e.g. 'lenny', 'squeeze')."
+  exit 1
+fi
+
+. /etc/neurodebian/cmdsettings.sh "$family" "$dist"
 
 # common options
 opts="--distribution $dist --aptcache $aptcache --buildplace $buildplace"