Merge branch 'cherry-pick-78484a74' into 'releases/3.2'

Merge branch 'update/installscript_for3.2' into 'releases/3.2'

See merge request !100

scripts/install.sh

@@ -106,22 +106,18 @@ fi
 
 # dumux
 if [ ! -d "dumux" ]; then
-    #git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git
-    git clone https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git
+    git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux.git
 else
     echo "Skip cloning dumux because the folder already exists."
-    #git checkout releases/3.2
-    git checkout master
+    git checkout releases/3.2
 fi
 
 # dumux-course
 if [ ! -d "dumux-course" ]; then
-#     git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git
-    git clone https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git
+    git clone -b releases/3.2 https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-course.git
 else
     echo "Skip cloning dumux-course because the folder already exists."
-    #git checkout releases/3.2
-    git checkout master
+    git checkout releases/3.2
 fi
 
 if [ $? -ne 0 ]; then