From 42737f9ea88f09dc6e57f2233804fac89b9c6147 Mon Sep 17 00:00:00 2001 From: Kirill Zaborsky Date: Wed, 17 Apr 2019 13:09:19 +0300 Subject: [PATCH] tee build console output into a file --- automated/build-next.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automated/build-next.sh b/automated/build-next.sh index 567ce19b..5e0476a3 100755 --- a/automated/build-next.sh +++ b/automated/build-next.sh @@ -132,7 +132,7 @@ esac # Now do the actual build. We need to first set the owner of the home directory # correctly, so we run the command as root, change owner, and then use sudo to # switch back to the current user -docker run $ARGS_BUILD $IMAGE nice -n 15 /bin/bash -c "chown $USER $HOME && exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" stackage-curator build --jobs $JOBS" +docker run $ARGS_BUILD $IMAGE nice -n 15 /bin/bash -c "chown $USER $HOME && exec sudo -E -u $USER env \"HOME=$HOME\" \"PATH=\$PATH\" stackage-curator build --jobs $JOBS" 2>&1 | tee "$SHORTNAME-build.log" # Make sure we actually need this snapshot. We used to perform this check # exclusively before building. Now we perform it after as well for the case of