282:72b0672a98f7
Anton Shestakov <av6@dwimlabs.net>, Tue, 15 Aug 2017 22:16:25 +0800
updatesri: backslash is not an escape character for urls

previous change 213:48c311d68f60

contrib/updatesri.sh

Permissions: -rwxr-xr-x

Other formats: Feeds:
#!/bin/bash
set -euo pipefail
( egrep -oh 'https://[^"]+\.js' "$@" || true ) | sort -u | while read -r url; do
hash=$(curl -fsS "$url" | openssl dgst -sha384 -binary | openssl base64 -A)
sed -i "\|$url| c\\ <script src=\"$url\" integrity=\"sha384-$hash\" crossorigin=\"anonymous\"></script>" "$@"
done
( egrep -oh 'https://[^"]+\.css' "$@" || true ) | sort -u | while read -r url; do
hash=$(curl -fsS "$url" | openssl dgst -sha384 -binary | openssl base64 -A)
sed -i "\|$url| c\\ <link rel=\"stylesheet\" href=\"$url\" integrity=\"sha384-$hash\" crossorigin=\"anonymous\">" "$@"
done