# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1560434787 -7200
# Node ID 58a9a644bd15c4773da5c8e0966cde59cad2de1e
# Parent  cd1231292eb6e8bed00c19fd4c85071e12d4d01d
check for tty

diff -r cd1231292eb6 -r 58a9a644bd15 Resources/holy-build-box-compile.sh
--- a/Resources/holy-build-box-compile.sh	Thu Jun 13 15:50:25 2019 +0200
+++ b/Resources/holy-build-box-compile.sh	Thu Jun 13 16:06:27 2019 +0200
@@ -17,11 +17,16 @@
     exit -1
 fi
 
+if [ -t 1 ]; then
+    # TTY is available => use interactive mode
+    DOCKER_FLAGS='-i'
+fi
+
 ROOT_DIR=`dirname $(readlink -f $0)`/..
 
 mkdir -p ${ROOT_DIR}/holy-build-box
 
-docker run -t -i --rm \
+docker run -t ${DOCKER_FLAGS} --rm \
     --user $(id -u):$(id -g) \
     -v ${ROOT_DIR}:/source:ro \
     -v ${ROOT_DIR}/holy-build-box:/target:rw \