commit ab7773dae8a947db45e798f4d794d18d2c956ef4
author Peter Bigot <peter.bigot@nordicsemi.no> Sun Jan 26 05:35:40 2020 -0600
committer Carles Cufí <carles.cufi@nordicsemi.no> Sun Jan 26 17:54:41 2020 +0100
tree 1308452efed15cd11f133d5ff85b6b5ca410271a
parent 235a5e5e4b3fa1e2315aad810d2beca5d76cdf8a

sanitycheck: leave non-tty terminal unmodified on exit

The terminal configuration should not be reset on exit if
sanitycheck's output is being directed to something that mediates the
terminal control, such as a pager.  Only do the reset if stdout is
interactive.

Signed-off-by: Peter Bigot <peter.bigot@nordicsemi.no>

scripts/sanitycheck

diff --git a/scripts/sanitycheck b/scripts/sanitycheck
index f238cef..7970fc7 100755
--- a/scripts/sanitycheck
+++ b/scripts/sanitycheck
@@ -4365,4 +4365,5 @@
     try:
         main()
     finally:
-        os.system("stty sane")
+        if os.isatty(1): # stdout is interactive
+            os.system("stty sane")