search

snu-sf-class / pl2016

14 stars 17 forks source link

vim-Coquille이 coqc warning을 화면에 출력하는 현상 해결 방법 #34

Closed taehwoi closed 8 years ago

taehwoi commented 8 years ago

안녕하세요. vim 하고 coquille을 사용 할 때 과제 2번에서 D.v의 warning( some rule has been masked ) 이 터미널에 바로 출력되어서 화면이 깨지는 현상이 발생하는 경우가 있습니다. 그러면

~/.vim/.../coquille/autoload/coquille.py 의 71줄 쯤에 있는 restart_coq 함수에 아래처럼 stderr = subprocess.PIPE, 을 추가하시면 됩니다.

def restart_coq(*args):
    global coqtop
    if coqtop: kill_coqtop()
    try:
        coqtop = subprocess.Popen(
                ["coqtop", "-ideslave"] + list(args),
                stdin = subprocess.PIPE,
                stdout = subprocess.PIPE,
                stderr = subprocess.PIPE,
                preexec_fn = ignore_sigint
                )   
    except OSError:
        print("Error: couldn't launch coqtop")
jeehoonkang commented 8 years ago

감사합니다..!