Refactor the Ubuntu-script

vagrantSandbox/README

@@ -47,8 +47,14 @@
                   compiling Foam
   Some machines (read: the BSD-boxes) need the =VirtualBox Extension
   Pack= installed (because they have USB 2.0)
-* Scripts
+* Scripts in the machine
   In the home directory these scripts are found
   - bootstrapFoam.sh :: A script whose aim it is to compile Foam and
        the ThirdParty-packages in one go (no paraview and QT). If this
        works the box is considered operational
+* Provisioning scripts
+  Every "family" of machines has a specific script that makes sure
+  that the software packages necessary to compile =Foam= are installed
+  into the machine. In the end these scripts should call
+  =initGeneralScript.sh= which gets the sources into the machine. It
+  needs =git=, =mercurial= and =ccache= for that.

vagrantSandbox/initUbunutuScript.sh

@@ -24,22 +24,16 @@ echo
 echo "Installing additional packages"
 echo
 
-apt-get -y install mercurial
+neededPackages=(g++ bison flex mercurial git make ccache cmake rpm)
-apt-get -y install bison
+bonusPackages=(emacs csh tcsh zsh)
-apt-get -y install flex
-apt-get -y install g++
-apt-get -y install make
-#apt-get -y install python-dev
-apt-get -y install ccache
-apt-get -y install cmake
 
-# test scripts with different shells
+for p in ${neededPackages[@]}; do
-apt-get -y install csh
+    apt-get -y install $p
-apt-get -y install tcsh
+done
-apt-get -y install zsh
 
-# to make the ThirdParty-Stuff work
+for p in ${bonusPackages[@]}; do
-apt-get -y install rpm
+    apt-get -y install $p
+done
 
 # this is needed for the packaging stuff
 echo
@@ -59,13 +53,10 @@ echo
 echo "Tools for packaging"
 echo
 
-# Needed for packaging
+packagingPackages=(default-mta dpkg-dev debhelper devscripts cdbs binutils-dev)
-apt-get -y install default-mta
+for p in ${packagingPackages[@]}; do
-apt-get -y install dpkg-dev
+    apt-get -y install $p
-apt-get -y install debhelper devscripts cdbs
+done
-
-# Not needed. Just to keep Bernhard happy
-apt-get -y install emacs
 
 echo
 echo "Ubuntu-specific ended. Now doing general stuff"