File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed
Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -25,9 +25,18 @@ rm tmp.json
2525
2626chromium_deps_url=" https://chromium.googlesource.com/chromium/src.git/+/${commit_sha} /DEPS?format=TEXT"
2727v8_revision=$( curl --silent " ${chromium_deps_url} " | base64 --decode | grep " 'v8_revision':" | cut -d " '" -f4)
28+ browser_protocol_domains_url=" https://chromium.googlesource.com/chromium/src.git/+/${commit_sha} /third_party/blink/public/devtools_protocol/domains?format=TEXT"
2829browser_protocol_url=" https://chromium.googlesource.com/chromium/src.git/+/${commit_sha} /third_party/blink/public/devtools_protocol/browser_protocol.pdl?format=TEXT"
2930js_protocol_url=" https://chromium.googlesource.com/v8/v8.git/+/${v8_revision} /include/js_protocol.pdl?format=TEXT"
3031
32+ if curl --output /dev/null --silent --head --fail " $browser_protocol_domains_url " ; then
33+ # the 4th column is the file name in the folder (e.g., DOM.pdl).
34+ domains=$( curl --silent " ${browser_protocol_domains_url} " | base64 --decode | grep .pdl | awk " {print $4 }" )
35+ for domain in $domains ; do
36+ browser_protocol_domain_url=" https://chromium.googlesource.com/chromium/src.git/+/${commit_sha} /third_party/blink/public/devtools_protocol/domains/$domain ?format=TEXT"
37+ curl --silent " ${browser_protocol_domain_url} " | base64 --decode > pdl/domains/$domain
38+ done
39+ fi
3140curl --silent " ${browser_protocol_url} " | base64 --decode > pdl/browser_protocol.pdl
3241curl --silent " ${js_protocol_url} " | base64 --decode > pdl/js_protocol.pdl
3342
You can’t perform that action at this time.
0 commit comments