diff options
author | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:24:49 +0200 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2021-07-12 13:27:07 +0200 |
commit | 03d827e2fbc409ef97829f25b8eeca5204f81a3c (patch) | |
tree | 6099f0feb9adf3425fba87549b164043e18bd0c7 /git/git-orig | |
parent | 45cddd072119c5abd7ec076cf28d51ee01f125b7 (diff) | |
download | xutil-03d827e2fbc409ef97829f25b8eeca5204f81a3c.tar.gz |
Re-organize files
Diffstat (limited to 'git/git-orig')
-rwxr-xr-x | git/git-orig | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/git/git-orig b/git/git-orig new file mode 100755 index 0000000..a792390 --- /dev/null +++ b/git/git-orig @@ -0,0 +1,20 @@ +#!/bin/sh + +# git-orig -- checkout original file + +[ $# -lt 2 ] && { echo "usage: $0 head file [...]" 1>&2; exit 1; } + +h=$1 +shift +set -e + +for f in "$@"; do + mv -i "$f" "$f".new +done + +git checkout "$h" -- "$@" + +for f in "$@"; do + mv -i "$f" "$f".orig + mv "$f".new "$f" +done |