PR #1863: --break: nice error if stdin is not a TTY

hpc · Mar 19, 2024 · d679373 · d679373
1 parent 5c1a2ba
commit d679373
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/bin/ch-image.py.in b/bin/ch-image.py.in
@@ -415,6 +415,8 @@ if (__name__ == "__main__"):
          for (opt, arg) in zip(sys.argv[1:], sys.argv[2:] + [None]):
             (opt, _, arg_eq) = opt.partition("=")
             if (opt == "--break"):
+               if (not sys.stdin.isatty()):
+                  ch.FATAL("--break: standard input must be a terminal")
                if (arg_eq != ""):
                   arg = arg_eq
                try: