diff options
Diffstat (limited to 'copy_fdd.sh')
-rwxr-xr-x | copy_fdd.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/copy_fdd.sh b/copy_fdd.sh index 087939d..4a6b239 100755 --- a/copy_fdd.sh +++ b/copy_fdd.sh @@ -1,13 +1,15 @@ #!/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/modules/test/test.elf src/modules/manager/manager.elf mnt +cp src/modules/test/test.elf mnt +cp src/modules/manager/manager.elf mnt #echo "*** Launching a BASH shell, if you want to do any maintenance ***" #bash || exit 0 |