From 9e29a8c5c82979bc51ad1ffa4cef9d7c41c21e16 Mon Sep 17 00:00:00 2001
From: parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 18 Dec 2018 10:49:00 +0100
Subject: [PATCH] turn off set -x in pl_netinit

---
 initscripts/pl_netinit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/initscripts/pl_netinit b/initscripts/pl_netinit
index 8422065..6a3ad2b 100755
--- a/initscripts/pl_netinit
+++ b/initscripts/pl_netinit
@@ -1,7 +1,7 @@
 #!/bin/bash
 #-*-shell-script-*-
 
-set -x
+# set -x
 
 source /etc/init.d/pl_functions
 
-- 
2.47.0