Commit 1fe41e2c757edcd4e07165208ee2c9af788685a5

Thomas de Grivel 2023-02-17T12:05:50

quiet mux

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/bin/shpkg_ci_mux b/bin/shpkg_ci_mux
index 7eee74c..7432f35 100755
--- a/bin/shpkg_ci_mux
+++ b/bin/shpkg_ci_mux
@@ -19,7 +19,7 @@ verbose 2 shpkg_lock shpkg_ci_mux.lock
 : ${SHPKG_CI_DIR:=${SHPKG_DIR}/ci}
 
 shpkg_ci_remote () {
-    verbose 1 ssh "$1" sh -c "\"shpkg/bin/shpkg_ci '$2'\""
+    verbose 1 ssh "$1" sh -c "\"shpkg/bin/shpkg_ci '$2' >/dev/null\""
     if [ "x$2" == "x--clean" ]; then
         rm -rf "${SHPKG_CI_DIR}"
     else