From 001bfd5f2b6890cafd209de4ea360927d4dd8a55 Mon Sep 17 00:00:00 2001 From: makefu Date: Sat, 23 Feb 2013 15:55:49 +0100 Subject: minikrebs is now a submodule --- minikrebs | 1 + minikrebs/profiles/init_overlay | 22 ---------------------- 2 files changed, 1 insertion(+), 22 deletions(-) create mode 160000 minikrebs delete mode 100755 minikrebs/profiles/init_overlay (limited to 'minikrebs/profiles/init_overlay') diff --git a/minikrebs b/minikrebs new file mode 160000 index 00000000..8fd46a7e --- /dev/null +++ b/minikrebs @@ -0,0 +1 @@ +Subproject commit 8fd46a7e3258bff753c42dc43fecfbbc853a685c 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 - -- cgit v1.2.3