diff options
| author | lassulus <lass@aidsballs.de> | 2015-05-21 22:00:43 +0200 |
|---|---|---|
| committer | lassulus <lass@aidsballs.de> | 2015-05-21 22:00:43 +0200 |
| commit | 1782c7942566821a1b8b33b2290c38019306872b (patch) | |
| tree | 21f89d00aa9101e78c81fb063148f853a6e9ed77 | |
| parent | 1d40f7ffc624ae407edf46f74ba71201da0b350a (diff) | |
uriel: update gitolite test stuff
| -rw-r--r-- | modules/uriel/default.nix | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/modules/uriel/default.nix b/modules/uriel/default.nix index 367a2847..a07972c9 100644 --- a/modules/uriel/default.nix +++ b/modules/uriel/default.nix @@ -55,9 +55,11 @@ RW+ = lass R = tv R = makefu + option hook.post-receive = irc-announce repo brain - RW+ = lass + RW+ = uriel + R = lass R = tv R = makefu option hook.post-receive = irc-announce @@ -83,6 +85,10 @@ RW+ = lass RW+ = uriel option hook.post-receive = irc-announce + + repo teeest + RW+ = lass + option hook.post-receive = irc-announce ''; rc = '' @@ -140,8 +146,10 @@ # CAVEAT beware of real TABs in grep pattern! # CAVEAT there will never be more than 42 relevant log entries! - log="$(tail -n 42 "$GL_LOGFILE" | grep "^[^ ]* $GL_TID ")" - update_log="$(echo "$log" | grep "^[^ ]* $GL_TID update")" + tab=$(printf '\x09') + log="$(tail -n 42 "$GL_LOGFILE" | grep "^[^$tab]*$tab$GL_TID$tab" || :)" + + update_log="$(echo "$log" | grep "^[^$tab]*$tab$GL_TID''${tab}update")" # (debug output) env | sed 's/^/env: /' |