Avoid initializing readline if not writing to terminal.

diff --git a/src/utils/misc.cc b/src/utils/misc.cc
index 618dcd0..6fe4ce9 100644 (file)
--- a/src/utils/misc.cc
+++ b/src/utils/misc.cc
@@ -61,6 +61,9 @@ string readline_getline()
 
 unsigned get_screen_width()
 {
+  if (!::isatty(STDOUT_FILENO))
+    return 80;
+
   int width = 80;
 
   const char *cols_env = getenv("COLUMNS");