diff options
| author | makefu <github@syntax-fehler.de> | 2013-01-10 14:37:10 +0100 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2013-01-10 14:37:10 +0100 |
| commit | 7296c90dff5e260c6279aed071fe507a4ddedc4a (patch) | |
| tree | f569e130dee7b084c1afc078e0d19e17b7578362 /minikrebs/profiles/init_overlay | |
| parent | 9b29cf3939802ab1cf634e6185f5b0beac52e590 (diff) | |
emergency commit, i am so sorry...
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 |