From 677f570f34609cbdaaa7cf7cc171dc0f46a5fa31 Mon Sep 17 00:00:00 2001
From: spacewander <spacewanderlzx@gmail.com>
Date: Sun, 3 Nov 2019 11:30:03 +0800
Subject: [PATCH] git-delete-submodule: comment the DUMMY prefix and ignore the
 output of grep -v.

---
 bin/git-delete-submodule | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/git-delete-submodule b/bin/git-delete-submodule
index b5ee290..9d8eea5 100755
--- a/bin/git-delete-submodule
+++ b/bin/git-delete-submodule
@@ -37,7 +37,8 @@ git add '.gitmodules'
 git_status_text="$(git submodule status 2>&1)"
 git_status_exit=$?
 if [ "$git_status_exit" -eq 0 ] \
-	&& printf '%s' "DUMMY$git_status_text" | grep -v "$NAME"; then
+    && printf '%s' "DUMMY$git_status_text" | grep -v "$NAME" > /dev/null; then
+    #  grep fails when piping in an empty string, so we add a DUMMY prefix
 
 	echo "Successfully deleted $NAME."
 else