From e587d5d609e5f0e64dc40bc10ef70eba585fd7a9 Mon Sep 17 00:00:00 2001 From: "Heiko Schlittermann (HS12-RIPE)" 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