diff options
author | tv <tv@krebsco.de> | 2017-09-22 00:18:15 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-09-22 01:42:00 +0200 |
commit | ea0b2cca51106bc7e92f36017bb3dc3ecdcc085e (patch) | |
tree | b3d894269a6297c4f77f53599b6d71c99c2bc4b9 | |
parent | 79df0635690a7e8457b3d4fa509be75b8f344146 (diff) |
git-preview: init
-rw-r--r-- | krebs/5pkgs/simple/git-preview.nix | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/git-preview.nix b/krebs/5pkgs/simple/git-preview.nix new file mode 100644 index 000000000..d6c9579a7 --- /dev/null +++ b/krebs/5pkgs/simple/git-preview.nix @@ -0,0 +1,17 @@ +{ coreutils, git, writeDashBin }: + +writeDashBin "git-preview" '' + set -efu + head_commit=$(${git}/bin/git log -1 --format=%H) + merge_commit=$1; shift + merge_message='Merge for git-preview' + preview_dir=$(${coreutils}/bin/mktemp --tmpdir -d git-preview.XXXXXXXX) + preview_branch=$(${coreutils}/bin/basename "$preview_dir") + ${git}/bin/git worktree add -b "$preview_branch" "$preview_dir" >/dev/null + ${git}/bin/git -C "$preview_dir" checkout "$head_commit" + ${git}/bin/git -C "$preview_dir" merge -m "$merge_message" "$merge_commit" + ${git}/bin/git -C "$preview_dir" diff "$head_commit.." "$@" & + ${git}/bin/git branch -fd "$preview_branch" + ${coreutils}/bin/rm -fR "$preview_dir" + wait +'' |