diff options
Diffstat (limited to 'minikrebs/profiles/init_overlay')
| -rw-r--r-- | minikrebs/profiles/init_overlay | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/minikrebs/profiles/init_overlay b/minikrebs/profiles/init_overlay deleted file mode 100644 index 3b714c39..00000000 --- a/minikrebs/profiles/init_overlay +++ /dev/null @@ -1,10 +0,0 @@ -#!/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 |