diff options
Diffstat (limited to 'minikrebs/profiles/init_overlay')
| m--------- | minikrebs | 0 | ||||
| -rwxr-xr-x | minikrebs/profiles/init_overlay | 22 |
2 files changed, 0 insertions, 22 deletions
diff --git a/minikrebs b/minikrebs new file mode 160000 +Subproject 8fd46a7e3258bff753c42dc43fecfbbc853a685 diff --git a/minikrebs/profiles/init_overlay b/minikrebs/profiles/init_overlay deleted file mode 100755 index e71cd151..00000000 --- a/minikrebs/profiles/init_overlay +++ /dev/null @@ -1,22 +0,0 @@ -#!/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 - -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 - mkdir -p $PWD/mnt/overlay - echo "please mount your overlay to $PWD/mnt/overlay" -fi - |