From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:32:18 +0000 (+0000)
Subject: run1: Fold lines in log report
X-Git-Tag: otter-0.3.0~102
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e9ce8f99e1f7402e77ddfe24221c412449f6a0bc;p=otter.git

run1: Fold lines in log report

Otherwise we can generate an unbounded amount of ouptut.  With very
very long lines, which can make emacs very slow.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/wdriver/run1 b/wdriver/run1
index 555c0bdf..7f55308d 100755
--- a/wdriver/run1
+++ b/wdriver/run1
@@ -15,6 +15,6 @@ case "${PIPESTATUS[*]}" in
 "0 0")	exit 0;
 esac
 
-tail -40 <tmp/"$lname" | sed -e "s/^/${lname%.log}: /"
+fold -250 <tmp/"$lname" | tail -40 | sed -e "s/^/${lname%.log}: /"
 
 exit 1