diff options
| author |   Svend Sorensen <svend@ciffer.net> | 2011-10-04 10:39:37 -0700 |
|---|---|---|
| committer |   Sitaram Chamarty <sitaram@atc.tcs.com> | 2011-10-06 21:09:55 +0530 |
| commit | 696bffe60578a1b170641dcfaaec01f373460259 (patch) | |
| tree | 8639cac7bc9c061cea621a275e7391c3075b8396 | |
| parent | mirroring log entries need the *date* also in the timestamp! (diff) | |
| download | gitolite-gentoo-696bffe60578a1b170641dcfaaec01f373460259.tar.gz gitolite-gentoo-696bffe60578a1b170641dcfaaec01f373460259.tar.bz2 gitolite-gentoo-696bffe60578a1b170641dcfaaec01f373460259.zip | |
Use sed instead of bashism (pattern substitution) in gl-mirror-push
gl-mirror-push fails with dash as /bin/sh due to the use of bash pattern
substition (${parameter/pattern/string}). Use sed instead.
| -rwxr-xr-x | src/gl-mirror-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gl-mirror-push b/src/gl-mirror-push index 4855c1b..1c6da4e 100755 --- a/src/gl-mirror-push +++ b/src/gl-mirror-push @@ -60,7 +60,7 @@ slaves="$*" # print out the job ID, then redirect all 3 FDs export job_id=$$ # can change to something else if needed echo "($job_id&) $hn ==== ($repo) ===>" $slaves >&2 -logfile=${GL_LOG/%.log/-mirror-pushes.log} +logfile=`echo $GL_LOG | sed 's/\.log$/-mirror-pushes.log/'` exec >>$logfile 2>&1 </dev/null # ---------- |