diff --git a/util/install.sh b/util/install.sh index 33e5d89..f8fea7c 100755 --- a/util/install.sh +++ b/util/install.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash + # Mininet install script for Ubuntu (and Debian Lenny) # Brandon Heller (brandonh@stanford.edu) @@ -16,6 +17,7 @@ KERNEL_LOC=http://www.openflow.org/downloads/mininet DIST=Unknown RELEASE=Unknown CODENAME=Unknown + test -e /etc/debian_version && DIST="Debian" grep Ubuntu /etc/lsb-release &> /dev/null && DIST="Ubuntu" if [ "$DIST" = "Ubuntu" ] || [ "$DIST" = "Debian" ]; then @@ -46,7 +48,6 @@ else exit 1 fi - # Kernel Deb pkg to be removed: KERNEL_IMAGE_OLD=linux-image-2.6.26-2-686