From d5f27f9b1e8263b58f7879d051b617399efb5d93 Mon Sep 17 00:00:00 2001
From: Michael Vines <mvines@gmail.com>
Date: Wed, 9 Jan 2019 22:06:58 -0700
Subject: [PATCH] shellcheck

---
 net/net.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/net/net.sh b/net/net.sh
index f06de17b9..5b1818137 100755
--- a/net/net.sh
+++ b/net/net.sh
@@ -443,6 +443,7 @@ stopNode() {
   echo "--- Stopping node: $ipAddress"
   (
     set -x
+    # shellcheck disable=SC2029 # It's desired that PS4 be expanded on the client side
     ssh "${sshOptions[@]}" "$ipAddress" "
       PS4=\"$PS4\"
       set -x