From 14b9349224017428fe80b3552f29a7d6c4c3b86b Mon Sep 17 00:00:00 2001 From: felix Date: Mon, 3 Jul 2017 20:05:51 -0400 Subject: [PATCH] Send the Coqtop stderr output to a pipe, as opposed to to Vim This should fix issue #61. I tried doing what the code for Windows NT did and redirect the stderr output to stdout, but that freezes my Vim process for some reason. So I just send it to a pipe that is never read from. --- autoload/coqtop.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/autoload/coqtop.py b/autoload/coqtop.py index 233b60d..1d8be1f 100644 --- a/autoload/coqtop.py +++ b/autoload/coqtop.py @@ -223,6 +223,8 @@ def restart_coq(*args): options + list(args) , stdin = subprocess.PIPE , stdout = subprocess.PIPE + , stderr = subprocess.PIPE # Do this so that the stderr output doesn't randomly appear on the screen + # TODO: Maybe display the stderr output somewhere useful? , preexec_fn = ignore_sigint )