From e39ec9b623576e92959e33fdf888ebe70abf8369 Mon Sep 17 00:00:00 2001 From: Alejandro Mery Date: Wed, 18 Jan 2017 16:10:12 +0000 Subject: [PATCH] repo-find: fix piped usage Signed-off-by: Alejandro Mery --- files/bin/repo-find | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/files/bin/repo-find b/files/bin/repo-find index 067025f..9675849 100755 --- a/files/bin/repo-find +++ b/files/bin/repo-find @@ -8,6 +8,8 @@ esac if [ "$COLOUR" = auto -a -t 1 ]; then COLOUR=true +elif [ "$COLOUR" != true ]; then + COLOUR=false fi if $COLOUR; then @@ -34,7 +36,6 @@ git() { "$GIT" --git-dir "$dir/.git" --work-tree "$dir" "$@" } -echo -n "$NORMAL" repo list -p | while read p; do if [ $# -gt 0 ]; then git "$p" ls-files | grep "$@"