From bd87f3a9e67038aa5594dbe35b52dd38cdd73671 Mon Sep 17 00:00:00 2001 From: DarkWiiPlayer Date: Mon, 20 Jul 2020 16:25:45 +0200 Subject: [PATCH] Make git-push-pending bash script more generic --- bin/git-push-pending | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/git-push-pending b/bin/git-push-pending index 935a982..9c31d01 100755 --- a/bin/git-push-pending +++ b/bin/git-push-pending @@ -1,6 +1,6 @@ #!/bin/sh -(echo $HOME/darkrc; echo $HOME/me; find $HOME/workspace/ -name '*.git' -type d | sed 's/\/.git$//') \ +(for name in $@; do find $name -name '*.git' -type d | sed 's/\/.git$//'; done) \ | xargs git-pending \ | grep '^ahead' \ | lua -e 'for line in io.lines() do print(line:match("[^/]+$")); print((line:gsub("^[^ ]* ", ""))) end' \