archematics/tools/fetchDeps.bash

28 lines
2.1 KiB
Bash
Raw Permalink Normal View History

mkdir -p etc/deps/geotypes
mkdir -p etc/deps/x_ite/assets/components
mkdir -p etc/deps/x_ite/assets/images
# source code at https://github.com/geogebra/geogebra/releases/tag/5.2.823.0
curl 'https://download.geogebra.org/installers/5.2/geogebra-math-apps-bundle-5-2-843-0.zip' --output etc/deps/geo.zip
unzip -o -d etc/deps etc/deps/geo.zip
rm etc/deps/geo.zip
cp etc/geogebraPreamble.txt etc/deps/geotypes/api.ts
curl 'https://raw.githubusercontent.com/netless-io/netless-app/master/packages/app-geogebra/src/types/api.ts' >> etc/deps/geotypes/api.ts
cp etc/geogebraPreamble.txt etc/deps/geotypes/entry.ts
curl 'https://raw.githubusercontent.com/netless-io/netless-app/master/packages/app-geogebra/src/types/entry.ts' >> etc/deps/geotypes/entry.ts
cp etc/geogebraPreamble.txt etc/deps/geotypes/params.ts
curl 'https://raw.githubusercontent.com/netless-io/netless-app/master/packages/app-geogebra/src/types/params.ts' >> etc/deps/geotypes/params.ts
curl 'https://code.jquery.com/jquery-3.7.1.js' > etc/deps/jquery.js
curl 'https://create3000.github.io/code/x_ite/latest/x_ite.mjs' > etc/deps/x_ite/x_ite.mjs
curl 'https://create3000.github.io/code/x_ite/latest/x_ite.css' > etc/deps/x_ite/x_ite.css
curl 'https://create3000.github.io/code/x_ite/latest/assets/components/EventUtilities.js' > etc/deps/x_ite/assets/components/EventUtilities.js
curl 'https://create3000.github.io/code/x_ite/latest/assets/components/Geometry2D.js' > etc/deps/x_ite/assets/components/Geometry2D.js
curl 'https://create3000.github.io/code/x_ite/latest/assets/components/KeyDeviceSensor.js' > etc/deps/x_ite/assets/components/KeyDeviceSensor.js
curl 'https://create3000.github.io/code/x_ite/latest/assets/components/Scripting.js' > etc/deps/x_ite/assets/components/Scripting.js
curl 'https://create3000.github.io/code/x_ite/latest/assets/components/Text.js' > etc/deps/x_ite/assets/components/Text.js
curl 'https://create3000.github.io/code/x_ite/latest/assets/images/logo.128.png' > etc/deps/x_ite/assets/images/logo.128.png
curl 'https://raw.githubusercontent.com/create3000/x_ite/development/dist/x_ite.d.ts' > etc/deps/x_ite/x_ite.d.mts