Mirrors
/
noscript
mirror of https://github.com/hackademix/noscript.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove dns permission for Chromium, since the asynchronous API is useless in synchronous webRequest.

This commit is contained in:
hackademix 2022-02-17 21:43:54 +01:00
parent 59a16b9166
commit 6884feb004
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build.sh
View File

@ -180,8 +180,8 @@ fi
grep -A2000 '"version":' "$MANIFEST_OUT") | \ grep -A2000 '"version":' "$MANIFEST_OUT") | \
# auto-update URL for the Edge version on the Microsoft Store # auto-update URL for the Edge version on the Microsoft Store
sed -e '/"name":/a\' -e ' "update_url": "'$EDGE_UPDATE_URL'",' | \ sed -e '/"name":/a\' -e ' "update_url": "'$EDGE_UPDATE_URL'",' | \
# skip embeddingDocument.js # skip embeddingDocument.js and dns permission
grep -v 'content/embeddingDocument.js' | \ grep -Pv 'content/embeddingDocument.js|"dns",' | \
# add "debugger" permission for patchWorkers.js # add "debugger" permission for patchWorkers.js
sed -re 's/( *)"webRequestBlocking",/&\n\1'"$EXTRA_PERMS"'/' | \ sed -re 's/( *)"webRequestBlocking",/&\n\1'"$EXTRA_PERMS"'/' | \
# add origin fallback for content scripts # add origin fallback for content scripts