diff options
Diffstat (limited to 'copy_fdd.sh')
-rwxr-xr-x | copy_fdd.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/copy_fdd.sh b/copy_fdd.sh deleted file mode 100755 index ebd53c5..0000000 --- a/copy_fdd.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -# We assume mnt/ is the directory where the image is mounted, and src/ is the directory with all the compiled files -rm mnt/* - -# Update GRUB's menu.cfg -cp menu_fdd.cfg mnt/boot/menu.cfg - -# copy kernel -cp src/kernel/kernel.elf mnt -cp src/user/test/test.elf mnt - -#echo "*** Launching a BASH shell, if you want to do any maintenance ***" -#bash || exit 0 |