Disable colors when compiling from emacs
This commit is contained in:
parent
bb996f696b
commit
593bd4c1c1
|
@ -215,11 +215,17 @@ module Scheduler = struct
|
||||||
|
|
||||||
let err_is_atty = lazy Unix.(isatty stderr)
|
let err_is_atty = lazy Unix.(isatty stderr)
|
||||||
|
|
||||||
|
let dumb_term =
|
||||||
|
match Sys.getenv "TERM" with
|
||||||
|
| exception Not_found -> true
|
||||||
|
| "dumb" -> true
|
||||||
|
| _ -> false
|
||||||
|
|
||||||
let command_line ?colorize { prog; args; dir; stdout_to; _ } =
|
let command_line ?colorize { prog; args; dir; stdout_to; _ } =
|
||||||
let colorize =
|
let colorize =
|
||||||
match colorize with
|
match colorize with
|
||||||
| Some x -> x
|
| Some x -> x
|
||||||
| None -> not Sys.win32 && Lazy.force err_is_atty
|
| None -> not Sys.win32 && Lazy.force err_is_atty && not dumb_term
|
||||||
in
|
in
|
||||||
let prog =
|
let prog =
|
||||||
let s = quote prog in
|
let s = quote prog in
|
||||||
|
|
Loading…
Reference in New Issue