diff --git a/docs/remote/update.sh b/docs/remote/update.sh new file mode 100755 index 0000000000..f3c3cb9fad --- /dev/null +++ b/docs/remote/update.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +pushd "$(dirname "$0")" > /dev/null + +curl -OL https://nightly.link/google/filament/workflows/web-continuous/main/filament-web.zip +unzip -q filament-web.zip +tar -xvzf filament-release-web.tgz +rm filament-release-web.tgz +rm filament-web.zip +rm filament.d.ts +cp ../../web/samples/remote.html index.html + +popd + +git status +echo "" +echo "All done! Next, make a git commit that updates docs/remote."