From e587d5d609e5f0e64dc40bc10ef70eba585fd7a9 Mon Sep 17 00:00:00 2001
From: "Heiko Schlittermann (HS12-RIPE)" <hs@schlittermann.de>
Date: Thu, 30 Jun 2022 10:44:25 +0200
Subject: [PATCH 1/1] new: no output redirection if STDIN is a terminal

---
 script/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/build b/script/build
index b3dcb6f..7ef6356 100755
--- a/script/build
+++ b/script/build
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-exec &>/tmp/website-$(date +%s).log
+[[ -t 0 ]] || exec &>/tmp/website-$(date +%s).log
 
 TARGET=${1:-/srv/www/vhosts/www.exim.org}
 LATEST=`(cd docbook; ls -1dv [0-9].[0-9]* | tail -1)`
-- 
2.30.2