home *** CD-ROM | disk | FTP | other *** search
/ PC World 2000 February / PCWorld_2000-02_cd.bin / live / sbin / installkernel < prev    next >
Encoding:
Text File  |  1998-08-16  |  1.0 KB  |  49 lines
  1. #!/bin/sh
  2. # 
  3. # Copyright (C) 1995 - 1998, Ian A. Murdock <imurdock@debian.org>
  4. #
  5. # Install the kernel on a Debian Linux system.
  6. #
  7. # This script is called from /usr/src/linux/arch/i386/boot/install.sh.
  8. # If you install it as /sbin/installkernel, you can do a "make install"
  9. # from a generic kernel source tree, and the image will be installed to
  10. # the proper place for Debian GNU/Linux.
  11.  
  12. set -e
  13.  
  14. if [ $# = 4 ] ; then
  15.   img="$2"
  16.   map="$3"
  17.   ver="$1"
  18.   # $(INSTALL_PATH), passed as $4, is ignored--Debian uses /boot.
  19. else
  20.   echo "Usage: installkernel <version> <zImage> <System.map> <directory>"
  21.   exit 1
  22. fi
  23.  
  24. updatever () {
  25.   if [ -f /boot/$1-$ver ] ; then
  26.     mv /boot/$1-$ver /boot/$1-$ver.old
  27.   fi
  28.  
  29.   cat $2 > /boot/$1-$ver
  30.  
  31.   if [ -f /boot/$1 ] ; then
  32.     if [ -L /boot/$1 -a $(ls -l /boot/$1 | awk '{print $11}') \
  33.      = $1-$ver ] ; then
  34.       ln -sf $1-$ver.old /boot/$1.old
  35.     else
  36.       mv /boot/$1 /boot/$1.old
  37.     fi
  38.   fi
  39.  
  40.   ln -sf $1-$ver /boot/$1
  41. }
  42.  
  43. updatever vmlinuz $img
  44. updatever System.map $map
  45.  
  46. mkboot -installkernel
  47.  
  48. psupdate || true
  49.