reset.sh: remove old commits from git repos
Only use the space required by the latest commit.
This commit is contained in:
parent
746f47df51
commit
d6e7aa05d0
1 changed files with 8 additions and 2 deletions
|
@ -10,10 +10,16 @@ pkill -9 java
|
||||||
|
|
||||||
# Sync changes with the GitHub repository
|
# Sync changes with the GitHub repository
|
||||||
cd ~/framework
|
cd ~/framework
|
||||||
git pull
|
git fetch origin --depth 1
|
||||||
|
git reset --hard origin/master
|
||||||
|
git reflog expire --expire=all --all
|
||||||
|
git gc --prune=all
|
||||||
|
|
||||||
cd ~/server-default
|
cd ~/server-default
|
||||||
git pull
|
git fetch origin --depth 1
|
||||||
|
git reset --hard origin/master
|
||||||
|
git reflog expire --expire=all --all
|
||||||
|
git gc --prune=all
|
||||||
|
|
||||||
chmod -R 777 ~/server/
|
chmod -R 777 ~/server/
|
||||||
rm -rf ~/server/*
|
rm -rf ~/server/*
|
||||||
|
|
Loading…
Reference in a new issue