diff options
| author | typebrook <typebrook@gmail.com> | 2019-06-10 09:15:40 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2019-06-10 09:15:40 +0800 |
| commit | 09e571b965b9e493fdc54413fac12b43b9119c23 (patch) | |
| tree | 2af3bd40e3c3e32f719497cc513d4adbd42cec36 /scripts | |
| parent | 0dcda9c1fe31f1c9e4a423cedc4cce8b5423dfe4 (diff) | |
update
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check_upstream.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/check_upstream.sh b/scripts/check_upstream.sh index 77e8c34..2212df3 100755 --- a/scripts/check_upstream.sh +++ b/scripts/check_upstream.sh | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | # check git repo $1 if upstream branch | 1 | # This script is for repo forked from others |
| 2 | # origin/master is ahead of local branch $2(default to dev) | 2 | # check $1(repo) if upstream branch origin/master is |
| 3 | # ahead of local branch $2(default to dev) | ||
| 3 | check_upstream() { | 4 | check_upstream() { |
| 4 | 5 | ||
| 5 | if [ ! -d $1 ]; then | 6 | if [ ! -d $1 ]; then |
| @@ -21,6 +22,5 @@ check_upstream() { | |||
| 21 | echo "New commit at" $1 | 22 | echo "New commit at" $1 |
| 22 | fi | 23 | fi |
| 23 | 24 | ||
| 24 | cd ~/git/settings | 25 | echo $(date) check $1 >> ~/git/settings/log |
| 25 | echo $(date) check $1 >> ./log | ||
| 26 | } | 26 | } |