diff options
Diffstat (limited to '')
-rw-r--r-- | fix_nt_symbol_path.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/fix_nt_symbol_path.sh b/fix_nt_symbol_path.sh index 21c0ddd..3511d63 100644 --- a/fix_nt_symbol_path.sh +++ b/fix_nt_symbol_path.sh @@ -40,19 +40,6 @@ str_tolower() { done } -str_contains() { - if [ "$#" -ne 2 ]; then - echo "usage: ${FUNCNAME[0]} STR SUB" || true - return 1 - fi - - local str="$1" - local sub - sub="$( printf '%q' "$2" )" - - test "$str" != "${str#*$sub}" -} - readonly path_separator=';' path_contains() { |