Mercurial > vim
view src/testdir/test_channel_pipe.py @ 33650:5614c43616fe v9.0.2064
patch 9.0.2064: cannot use buffer-number for errorformat
Commit: https://github.com/vim/vim/commit/b731800522af00fd348814d33a065b92e698afc3
Author: Yegappan Lakshmanan <yegappan@yahoo.com>
Date: Wed Oct 25 20:50:28 2023 +0200
patch 9.0.2064: cannot use buffer-number for errorformat
Problem: cannot use buffer-number for errorformat
Solution: add support for parsing a buffer number using '%b' in
'errorformat'
closes: #13419
Signed-off-by: Christian Brabandt <cb@256bit.org>
Co-authored-by: Yegappan Lakshmanan <yegappan@yahoo.com>
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Wed, 25 Oct 2023 21:00:04 +0200 |
parents | 06e3c6bac36d |
children |
line wrap: on
line source
#!/usr/bin/python # # Server that will communicate over stdin/stderr # # This requires Python 2.6 or later. from __future__ import print_function import os import sys import time if __name__ == "__main__": if len(sys.argv) > 1: if sys.argv[1].startswith("err"): print(sys.argv[1], file=sys.stderr) sys.stderr.flush() elif sys.argv[1].startswith("incomplete"): print(sys.argv[1], end='') sys.stdout.flush() sys.exit(0) elif sys.argv[1].startswith("busy"): time.sleep(100) sys.exit(0) else: print(sys.argv[1]) sys.stdout.flush() if sys.argv[1].startswith("quit"): sys.exit(0) if os.getenv('CI'): try: import thread_util thread_util.set_high_priority() except Exception: pass while True: typed = sys.stdin.readline() if typed == "": # EOF -- stop break if typed.startswith("quit"): print("Goodbye!") sys.stdout.flush() break if typed.startswith("echo "): print(typed[5:-1]) sys.stdout.flush() if typed.startswith("echosplit "): for part in typed[10:-1].split('|'): sys.stdout.write(part) sys.stdout.flush() time.sleep(0.05) if typed.startswith("double "): print(typed[7:-1] + "\nAND " + typed[7:-1]) sys.stdout.flush() if typed.startswith("split "): print(typed[6:-1], end='') sys.stdout.flush() time.sleep(0.05) print(typed[6:-1], end='') sys.stdout.flush() time.sleep(0.05) print(typed[6:-1]) sys.stdout.flush() if typed.startswith("echoerr "): print(typed[8:-1], file=sys.stderr) sys.stderr.flush() if typed.startswith("doubleerr "): print(typed[10:-1] + "\nAND " + typed[10:-1], file=sys.stderr) sys.stderr.flush() if typed.startswith("XXX"): print(typed, end='') sys.stderr.flush() break