From e8abade25b90648e3b6a90692c62f184a640cfcf Mon Sep 17 00:00:00 2001
From: Daniel Maier <daniel.maier@tu-berlin.de>
Date: Thu, 25 Oct 2018 14:10:36 +0200
Subject: [PATCH] perforate.sh: remove pluto debug output
---
perforate.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/perforate.sh b/perforate.sh
index 0df253b..51769e2 100755
--- a/perforate.sh
+++ b/perforate.sh
@@ -28,7 +28,7 @@ perforate() {
run_pluto() {
# FIXME: what pluto options should be used?
- $PLUTO -o "$2" "$1"
+ $PLUTO -o "$2" "$1" > /dev/null
}
generate() {
--
GitLab