diff options
author | lassulus <lass@aidsballs.de> | 2015-05-21 22:00:43 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2015-05-21 23:56:35 +0200 |
commit | 678b52c7aa7d8d23d1c0effa3b186fc27e8f9733 (patch) | |
tree | cae260a33e881f32ccfbdf0c45805fa3a86c24b7 | |
parent | 6cf8d443b4da1611722e2de904ed8bb89126b1b5 (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 367a2847c..a07972c90 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: /' |