diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makemodule.am | 6 | ||||
| -rw-r--r-- | scripts/overlay.sh | 21 |
2 files changed, 1 insertions, 26 deletions
diff --git a/scripts/Makemodule.am b/scripts/Makemodule.am index dd3fa0b..3326860 100644 --- a/scripts/Makemodule.am +++ b/scripts/Makemodule.am @@ -1,7 +1,3 @@ helper_SCRIPTS += scripts/devfs.sh scripts/trymount.sh -if PYGOSCFG -helper_SCRIPTS += scripts/overlay.sh -endif - -EXTRA_DIST += scripts/trymount.sh scripts/overlay.sh +EXTRA_DIST += scripts/trymount.sh diff --git a/scripts/overlay.sh b/scripts/overlay.sh deleted file mode 100644 index 090671c..0000000 --- a/scripts/overlay.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -lower=/cfg/preserve/${1} -upper=/cfg/overlay/${1} -work=/cfg/overlay/${1}_work -target=${2} - -if [ ! -d "$target" ]; then - exit -fi - -if [ -d "$lower" ]; then - if [ -d "$upper" ]; then - mkdir -p "$work" - mount -t overlay overlay \ - -olowerdir=${lower},upperdir=${upper},workdir=${work} \ - ${target} - else - mount --bind "$lower" "$target" - fi -fi |