diff options
| author | Tails developers <amnesia@boum.org> | 2012-04-08 20:23:57 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2012-04-08 22:50:35 +0200 |
| commit | 610c06cafd108f9af8d246988b9ce518aa2895f2 (patch) | |
| tree | 05173038ad8d3b67f274090fd7421500062d2830 /scripts/live-helpers | |
| parent | 315900ea66904606c7a5d92cf46d590fa00b12a6 (diff) | |
| download | live-boot-610c06cafd108f9af8d246988b9ce518aa2895f2.tar.gz live-boot-610c06cafd108f9af8d246988b9ce518aa2895f2.zip | |
Adding support for the findiso boot parameter (Closes: #656135).
Thanks to the grml team for the initial patch,
thanks to adrian15sgd@gmail.com for bringing it to a mergeable state.
Diffstat (limited to 'scripts/live-helpers')
| -rw-r--r-- | scripts/live-helpers | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/scripts/live-helpers b/scripts/live-helpers index e25e4bc..456c2d7 100644 --- a/scripts/live-helpers +++ b/scripts/live-helpers @@ -143,6 +143,11 @@ Arguments () export STATICIP ;; + findiso=*) + FINDISO="${ARGUMENT#findiso=}" + export FINDISO + ;; + live-getty) LIVE_GETTY="1" export LIVE_GETTY @@ -1579,3 +1584,15 @@ fix_home_rw_compatibility () /home source=." > "${include_list}" fi } + +is_mountpoint () { + + directory="$1" + + if [ $(stat -fc%d:%D "${directory}") != $(stat -fc%d:%D "${directory}/..") ] + then + return 0 + else + return 1 + fi +} |