From 56312598b369603c5d23237a91c0904def5225f2 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Tue, 9 Jul 2024 21:26:25 +0000 Subject: [PATCH] make.sh: Erase the line when resizing the screen This should leave less clutter, but there is still some. Signed-off-by: Michael Tremer --- make.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/make.sh b/make.sh index a26b472877..13ed5459b9 100755 --- a/make.sh +++ b/make.sh @@ -70,6 +70,12 @@ resize_terminal() { COLUMNS=80 fi + # Wipe any previous content before updating the counters + if [ -n "${TIME_COL}" ]; then + tput hpa "${TIME_COL}" + tput el + fi + # The status column is always 8 characters wide STATUS_WIDTH=8 -- 2.47.3