--- a/configure Mon Oct 01 16:18:56 2018 +0100 +++ b/configure Mon Oct 01 16:23:57 2018 +0100 @@ -127,6 +127,7 @@ do value=$(echo "$1" | sed 's/[^=]*.\(.*\)/\1/') key=$(echo "$1" | sed 's/=.*//') + # shellcheck disable=SC2088 if echo "$value" | grep "~" >/dev/null 2>/dev/null then echo