scriptoriumadmin/zotero
1
0
Fork 0
mirror of https://github.com/zotero/zotero.git synced 2026-08-28 05:25:31 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

fx140: Update type definition update script

Browse source 
Use ZIP export to more easily get all subdirectories.
This commit is contained in:
Abe Jellinek 2025-07-02 13:37:42 -04:00 • committed by Dan Stillman
parent 6cbb0bc103
commit 31edc728d4
1 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
scripts/update-types.sh
View file

@ -2,21 +2,21 @@
set -e pipefail
RELEASE=esr140 # Keep in sync with platform version
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
ROOT_DIR="$(dirname "$SCRIPT_DIR")"
OUTPUT_DIR="$ROOT_DIR/types/gecko"
release=esr128 # TODO: Keep in sync with platform version once platform version >= esr128
if [ -n "$1" ]; then
tag=$1
fi
echo Downloading types from release $release
echo Downloading types from release "$RELEASE"
DIR_REMOTE="https://hg.mozilla.org/releases/mozilla-$release/raw-file/tip/tools/@types"
DIR_LOCAL="$ROOT_DIR/types/gecko"
temp_dir="$(mktemp -d)"
pushd "$temp_dir"
dir_listing=$(curl -fs "$DIR_REMOTE")
filenames=$(cut -d ' ' -f 3 <<< "$dir_listing")
for filename in $filenames; do
curl -f "$DIR_REMOTE/$filename" > "$DIR_LOCAL/$filename"
sed -i '' '/^\/\/\/ <reference no-default-lib="true" \/>/d' "$DIR_LOCAL/$filename"
done
curl -L "https://hg.mozilla.org/releases/mozilla-$RELEASE/archive/tip.zip/tools/%40types/" -o types.zip
unzip types.zip
mv ./*/tools/@types/* "$OUTPUT_DIR"
popd
rm -r "$temp_dir"
sed -i '' '/^\/\/\/ <reference no-default-lib="true" \/>/d' "$OUTPUT_DIR/generated/lib.gecko.dom.d.ts"