chiark / gitweb /
set -e to make it easier to kill this
[bin.git] / get-kernel
index c4d9b92f92e975180e29df4eb41e950587414d7e..a936122dfc6b4efbbd7ff67118e7786759f55432 100755 (executable)
@@ -1,11 +1,15 @@
 #! /bin/sh -e
 
-VERSION=$1
-MAJOR=`expr $1 : '\(^[0-9]*\.[0-9]*\)'`
+if [ -z "$1" ]; then
+    echo >&2 "No version specified, stopping."
+    exit 1
+fi
+
+VERSION="$1"
+MAJOR="${1%.*}"
 
 rm -f linux
-wget -c ftp://ftp.kernel.org/pub/linux/kernel/v$MAJOR/linux-$VERSION.tar.bz2
-tar xjvf linux-$VERSION.tar.bz2
-rm -f linux-$VERSION.tar.bz2
-mv linux linux-$VERSION
-ln -s linux-$VERSION linux
+wget -c "ftp://ftp.kernel.org/pub/linux/kernel/v$MAJOR/linux-$VERSION.tar.bz2"
+tar xjvf "linux-$VERSION.tar.bz2"
+if [ -h linux ]; then mv linux "linux-$VERSION"; fi
+ln -s "linux-$VERSION" linux