From 6b4c4ff032a3ce330421eeeb2b383c6e2b97507d Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Mon, 11 Jan 2016 23:39:56 +0000
Subject: [PATCH] indent in nb-update

---
 bin/nb-update | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/nb-update b/bin/nb-update
index 78b63572..41bf3bc6 100755
--- a/bin/nb-update
+++ b/bin/nb-update
@@ -40,7 +40,7 @@ for repo in $(nb_repo_dirs); do
 
   cmd="GIT_SSH=$TMP cd \"$repo\" && git pull"
   cmd_root="true"
-  [ -x bin/$name-install ] && cmd_root="$cmd_root && echo '>$name-install' && bin/$name-install"
+  [ -x bin/$name-install ] && cmd_root="$cmd_root && (echo '>$name-install' && bin/$name-install)|sed 's/^/  /'"
 
   if [ "$USER" == "$user" ]; then
     bash -c "$cmd"
-- 
2.47.3