diff options
Diffstat (limited to 'minikrebs')
| -rwxr-xr-x[-rw-r--r--] | minikrebs/profiles/init_overlay | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/minikrebs/profiles/init_overlay b/minikrebs/profiles/init_overlay index 3b714c39..e71cd151 100644..100755 --- a/minikrebs/profiles/init_overlay +++ b/minikrebs/profiles/init_overlay @@ -1,10 +1,22 @@ -#!/bin/sh +#!/bin/bash +cd $(dirname $(readlink -f $0)) [ ! -e overlay/ ] && echo "profile data for external overlay does not exist, bailing out" -[ ! -e doc/overlay ] && echo "Profile demands the following partitioning of the overlay usb stick:" && cat doc/overlay +[ -e doc/overlay ] && echo "Profile demands the following partitioning of the overlay usb stick:" && cat doc/OVERLAY if grep -q $PWD/mnt/overlay /etc/mtab;then - + echo "overlay mounted" + echo "copying overlay data:" + find overlay/ -mindepth 1 -maxdepth 1 | while read data; do + echo " $data -> mnt/overlay/$(basename $data)" + rm -rf mnt/overlay/$(basename $data) + cp -r $data mnt/overlay + done + echo + echo "unmounting overlay" + umount mnt/overlay/ else - echo "please mount your overlay to $PWD/overlay" + mkdir -p $PWD/mnt/overlay + echo "please mount your overlay to $PWD/mnt/overlay" fi + |