Searched refs:url_file (Results 1 – 1 of 1) sorted by relevance
66 local url_file="$VENDOR_DIR/$name/url.txt"68 if [[ ! -f "$url_file" ]]; then69 echo "ERROR: $url_file not found" >&275 version=$(grep -oP "${name}@\K[0-9]+\.[0-9]+\.[0-9]+" "$url_file" | head -1)78 echo "ERROR: Could not extract version for $name from $url_file" >&2