#!/bin/bash echo command $1 case $1 in gitpush) echo "push libmscore upstream" git subtree push -P libmscore git@github.com:wschweer/libmscore.git master ;; gitpull) echo "merge libmscore from upstream" git subtree pull -P libmscore git@github.com:wschweer/libmscore.git master ;; gitremove) echo "permanently remove files" set -o errexit # Author: David Underhill # Script to permanently delete files/folders from your git repository. To use # it, cd to your repository's root and then run the script with a list of paths # you want to delete, e.g., git-delete-history path1 path2 if [ $# -eq 0 ]; then exit 0 fi # make sure we're at the root of git repo if [ ! -d .git ]; then echo "Error: must run this script from the root of a git repository" exit 1 fi # remove all paths passed as arguments from the history of the repo files=$@ git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD # remove the temporary history git-filter-branch otherwise leaves behind for a long time rm -rf .git/refs/original/ && git reflog expire --all && git gc --aggressive --prune ;; gitupdate) git pull git@github.com:musescore/MuseScore.git master ;; allclean) rm `find . -name cmake_install.cmake` rm `find . -name CTestTestfile.cmake` rm `find mtest thirdparty zerberus share aeolus awl bww2mxml fluid libmscore manual mscore mstyle msynth -name Makefile` rm -rf `find . -name CMakeFiles` rm -rf `find . -name __` ;; *) echo "gitpush -- push libmscore upstream" echo "gitpull -- pull libmscore from upstream" echo "gitremove a -- permanently remove file/folder a" echo "gitupdate -- pull from master" ;; esac