diff options
| author | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-12 16:28:22 +0000 |
|---|---|---|
| committer | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-12 16:33:47 +0000 |
| commit | 05d8377e3131af101f444e079347953587a2b0d6 (patch) | |
| tree | 5deb3ed3cece5a7a9c8db849a2f7ff56254a0374 /yarns/implementations.yarn | |
| parent | 6c9a5d65d615abf75e640f5ceda332ef42854d57 (diff) | |
| download | morph-05d8377e3131af101f444e079347953587a2b0d6.tar.gz | |
Yarns: misc fixes
Diffstat (limited to 'yarns/implementations.yarn')
| -rw-r--r-- | yarns/implementations.yarn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yarns/implementations.yarn b/yarns/implementations.yarn index 5b5b1724..f01432b7 100644 --- a/yarns/implementations.yarn +++ b/yarns/implementations.yarn @@ -444,7 +444,7 @@ Editing morphologies with `morph edit`. ls -l "$DATADIR/workspace/$MATCH_2" chunkdir="$(slashify_colons "$MATCH_1")" cd "$DATADIR/workspace/$MATCH_2/$chunkdir" - git branch | awk '$1 == "*" { print $2 }' > "$DATADIR/git-branch.actual" + git rev-parse --abbrev-ref HEAD > "$DATADIR/git-branch.actual" echo "$MATCH_2" > "$DATADIR/git-branch.wanted" diff -u "$DATADIR/git-branch.wanted" "$DATADIR/git-branch.actual" |