From 6a19a8ed02632d7c1489c8d0f8788c498708a43a Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 4 May 2010 17:07:35 +0200
Subject: [PATCH] update install.sh to work with archlinux

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 linux/install.sh | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/linux/install.sh b/linux/install.sh
index 8374e22..d400406 100755
--- a/linux/install.sh
+++ b/linux/install.sh
@@ -18,10 +18,27 @@
 # along with nsbin. If not, see <http://www.gnu.org/licenses/>.
 #
 
-make install
-make modules_install
-update-grub
+set -e
+#version="$(git describe)
 version=$(cat include/config/kernel.release)
+ddir="/boot"
+spath="arch/x86_64/boot/bzImage"
+fname="linux-$(version)"
+fpath="${ddir}/${fname}"
+gpath="$ddir/grub/menu.lst"
+
+
+#make install
+cp "$spath" "$fpath"
+make modules_install
+#update-grub
+cat << eof >> "$gpath"
+title  $version
+root   (hd0,0)
+kernel ${fpath}
+
+eof
+
 echo "Reboot should reboot to $version now ..."
 read notyet
 reboot