Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- old_dir=`pwd`
- if [ `whoami` != root ]
- then
- echo "You must be root to run the script!"
- exit
- fi
- if [ ! -d "/media/filip/Alt_OS" ]
- then
- echo "Given directory does not exist!"
- exit
- fi
- echo Copying modules
- cd mods
- cp -R lib /media/filip/Alt_OS/
- echo "Copying zImage to /boot"
- cp ../arch/arm/boot/zImage /media/filip/Alt_OS/boot/
- cd /media/filip/Alt_OS/boot
- echo "linking /boot/bzImage to point to zImage"
- ln -f -s zImage bzImage
- cd $old_dir
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement