···7777 fi
7878 # The argument sometimes contains garbage or variable interpolation.
7979 # When that is the case, let’s fall back to the derivation name.
8080- if [[ -z "$shareDocName" ]] || echo "$shareDocName" | grep -q '[^a-zA-Z0-9_-+]'; then
8080+ if [[ -z "$shareDocName" ]] || echo "$shareDocName" | grep -q '[^a-zA-Z0-9_+-]'; then
8181 if [[ -n "${pname-}" ]]; then
8282 shareDocName="$pname"
8383 else