diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-12 21:40:10 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-12 21:40:10 +0100 |
commit | c88414b54cc41c92122e28a9d0c2e4821a07df0f (patch) | |
tree | 48ee93d1fe3f31c4ada5b81924e36d68bbca299e /src/core/libs/lib-misc.sh | |
parent | 88d3aa1e000b4a5a4d5d9268325ea33bde9106b8 (diff) |
implementation if iterative, dependency-resolving underlying volume filesystem creater
Diffstat (limited to 'src/core/libs/lib-misc.sh')
-rw-r--r-- | src/core/libs/lib-misc.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/core/libs/lib-misc.sh b/src/core/libs/lib-misc.sh index 995307d..d04e850 100644 --- a/src/core/libs/lib-misc.sh +++ b/src/core/libs/lib-misc.sh @@ -45,3 +45,18 @@ wait_for () kill $(cat $ANSWER) #TODO: this may not work when mode = cli } + +# $1 set (array) haystack +# $2 needle +check_is_in () +{ + [ -z "$2" ] && die_error "check_is_in needs a needle as \$2 and a haystack as \$1!" + + local pattern="$1" element + shift + for element + do + [[ $element = $pattern ]] && return 0 + done + return 1 +} |