diff options
Diffstat (limited to 'minikrebs/profiles/init_overlay')
| -rw-r--r-- | minikrebs/profiles/init_overlay | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/minikrebs/profiles/init_overlay b/minikrebs/profiles/init_overlay new file mode 100644 index 00000000..3b714c39 --- /dev/null +++ b/minikrebs/profiles/init_overlay @@ -0,0 +1,10 @@ +#!/bin/sh +[ ! -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 + +else + echo "please mount your overlay to $PWD/overlay" +fi |