diff options
author | Steven Hall <Hallzy.18@gmail.com> | 2015-09-28 22:13:18 -0700 |
---|---|---|
committer | Steven Hall <Hallzy.18@gmail.com> | 2015-10-15 13:00:54 -0700 |
commit | 00f2a8c908e299d08e2efad038da25b2d5446976 (patch) | |
tree | dc2273fe62830da0e8f7fca8d6cc8c1ffbca344e /radar-base.sh | |
parent | 42135ad00014387b6937242563b920a7cf640866 (diff) | |
download | git-sonar-00f2a8c908e299d08e2efad038da25b2d5446976.tar.gz git-sonar-00f2a8c908e299d08e2efad038da25b2d5446976.zip |
Added feature that let's you specify how often to fetch
with --fetch_t you can specify how many seconds to wait before auto fetching.
using the --fetch option gives you the default of 5 minutes still.
"--fetch_t 45" for example would fetch every 45 seconds.
Diffstat (limited to '')
-rwxr-xr-x | radar-base.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/radar-base.sh b/radar-base.sh index 258e5b1..ee5fa00 100755 --- a/radar-base.sh +++ b/radar-base.sh @@ -154,8 +154,7 @@ time_now() { time_to_update() { if is_repo; then local timesincelastupdate="$(($(time_now) - $(timestamp)))" - local fiveminutes="$((5 * 60))" - if (( $timesincelastupdate > $fiveminutes )); then + if (( $timesincelastupdate > $1 )); then # time to update return 0 (which is true) return 0 else @@ -168,7 +167,14 @@ time_to_update() { } fetch() { - if time_to_update; then + if [ -z "$1" ]; then + # Default 5 minutes + local timeToUpdate="$((5 * 60))" + else + local timeToUpdate="$1" + fi + + if time_to_update $timeToUpdate; then record_timestamp git fetch --quiet > /dev/null 2>&1 fi |