diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2014-02-11 18:16:11 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2014-02-11 18:16:11 +0100 |
| commit | 2d08911428d7c4f3c97cb416825d8354f1e39982 (patch) | |
| tree | 3da2a59cc078ac0591218a291e03ec23a0d41975 /installer | |
| parent | ab7d24f360dbe88fc30cc1274badce068241a84c (diff) | |
| download | mmbtools-aux-2d08911428d7c4f3c97cb416825d8354f1e39982.tar.gz mmbtools-aux-2d08911428d7c4f3c97cb416825d8354f1e39982.tar.bz2 mmbtools-aux-2d08911428d7c4f3c97cb416825d8354f1e39982.zip | |
installer script checks existence of dab folder
Diffstat (limited to 'installer')
| -rw-r--r-- | installer/debian.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/installer/debian.sh b/installer/debian.sh index ef56107..476af99 100644 --- a/installer/debian.sh +++ b/installer/debian.sh @@ -61,6 +61,18 @@ fi # Fail on error set -e +if [ -d dab ] +then + echo -e $RED + echo "ERROR: The dab directory already exists." + echo -e $NORMAL + echo "This script assumes a fresh initialisation," + echo "if you have already run it and wish to update" + echo "the existing installation, please do it manually" + echo "or erase the dab folder first." + exit 1 +fi + echo -e "$GREEN Updating debian package repositories $NORMAL" sudo apt-get -y update |