Skip to content

Instantly share code, notes, and snippets.

@zakki
Created September 13, 2022 10:51
Show Gist options
  • Save zakki/cd9ac2b41bbe4ec96015717d5b9078e1 to your computer and use it in GitHub Desktop.
Save zakki/cd9ac2b41bbe4ec96015717d5b9078e1 to your computer and use it in GitHub Desktop.
#!/bin/bash
(
cd openhsp
git svn fetch
)
(
cd hsp-minimized
git fetch ../openhsp svn/trunk
git update-ref refs/heads/master $(git rev-parse FETCH_HEAD)
)
java -jar ~/bin/bfg-1.14.0.jar -D "{hsp3dish.js,hsp3dish-gp.js}" --no-blob-protection hsp-minimized
java -jar ~/bin/bfg-1.14.0.jar -D "*.{a,lib,exe,dll,hrt,wasm,ipch}" --no-blob-protection hsp-minimized
(
cd hsp-minimized
git reflog expire --expire=now --all && git gc --prune=now --aggressive
)
(
cd openhsp
git co master
git fetch ../hsp-minimized master
git reset --hard FETCH_HEAD
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment