Merge branch 'dev' into release

pull/211/head
FongMi 2 years ago
commit ff63ac50c1
  1. 13
      other/tools/cleaner.bat

@ -1,12 +1,7 @@
git clone --mirror https://github.com/FongMi/TV.git
java -jar bfg.jar --delete-files *.apk TV.git
java -jar bfg.jar --delete-files libp*p.so TV.git
java -jar bfg.jar --delete-files libxl*.so TV.git
java -jar bfg.jar --delete-files libjpa*.so TV.git
java -jar bfg.jar --delete-files libp2p*.so TV.git
java -jar bfg.jar --delete-files libmitv.so TV.git
java -jar bfg.jar --delete-files libtvcore.so TV.git
cd TV.git
git clone --mirror https://github.com/FongMi/Release.git
java -jar bfg.jar --delete-files *.apk Release.git
java -jar bfg.jar --delete-files *.json Release.git
cd Release.git
git reflog expire --expire=now --all && git gc --prune=now --aggressive
git push
git gc
Loading…
Cancel
Save