ubuntu ctd
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 17:38:38 +0000 (18:38 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 18 Jan 2013 17:38:38 +0000 (18:38 +0100)
build.common
vbuild-init-vserver.sh

index 9fc1f3d..bd689b6 100644 (file)
@@ -63,7 +63,7 @@ function pl_getReleaseName () {
        [Ss]L*)
            releasename=sl$release
            ;;
-       squeeze|wheezy|oreinic|precise|quantal)
+       squeeze|wheezy|oneiric|precise|quantal)
            releasename=$distro
            ;;
        *)
index 07b426b..40f4d39 100755 (executable)
@@ -334,11 +334,18 @@ function devel_or_vtest_tools () {
            # handle this one firt off to be sure 
            $personality vserver $vserver exec apt-get install -y locales
            # all in a single batch 
-           $personality vserver $vserver exec apt-get install -y --ignore-missing $packages
+           [ -n "$packages" ] $personality vserver $vserver exec apt-get install -y --ignore-missing $packages || :
+           # of course, on ubuntu apt-get --ignore-missing .. does not ignore missing packages !
            # check it up a bit 
            for package in $packages ; do 
-               $personality vserver $vserver exec dpkg -l $package >& /dev/null || \
-                   { echo "WARNING - missing package on debian $package - ignored" ; true; }
+               if ! $personality vserver $vserver exec dpkg -l $package >& /dev/null ; then
+                   # try to install it individually - so this is for ubuntu
+                   $personality vserver $vserver exec apt-get install -y $package || :
+                   # still not there ?
+                   if ! $personality vserver $vserver exec dpkg -l $package >& /dev/null ; then
+                       echo "WARNING - missing package on debian $package - ignored" 
+                   fi
+               fi
            done
            ### xxx todo install groups with apt..
            ;;