diff options
author | makefu <github@syntax-fehler.de> | 2013-03-07 11:40:38 +0100 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2013-03-07 11:40:38 +0100 |
commit | 7fa8fb85b072f612adb322f8a02617e1bd737020 (patch) | |
tree | 683df8268baae71451633518aa7ff7ea258a4aa8 /minikrebs/profiles/init_overlay | |
parent | dbe2d838ba6834788265029162b2dd7d82473335 (diff) | |
parent | ef4eb3189363f5cd9a33b43693322a68d3142979 (diff) |
Merge branch 'master' of github.com:krebscode/painload
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 |