def launch(args): config_dir, kitten = args[:2] kitten = resolved_kitten(kitten) del args[:2] args = [kitten] + args os.environ['KITTY_CONFIG_DIRECTORY'] = config_dir from kittens.tui.operations import clear_screen, reset_mode m = import_kitten_main_module(config_dir, kitten) result = m['start'](args) print(reset_mode('ALTERNATE_SCREEN') + clear_screen(), end='') if result is not None: import json print('OK:', json.dumps(result)) sys.stderr.flush() sys.stdout.flush()
def launch(args: List[str]) -> None: config_dir, kitten = args[:2] kitten = resolved_kitten(kitten) del args[:2] args = [kitten] + args os.environ['KITTY_CONFIG_DIRECTORY'] = config_dir from kittens.tui.operations import clear_screen, reset_mode, Mode set_debug(kitten) m = import_kitten_main_module(config_dir, kitten) try: result = m['start'](args) finally: sys.stdin = sys.__stdin__ print(reset_mode(Mode.ALTERNATE_SCREEN) + clear_screen(), end='') if result is not None: import json data = json.dumps(result) print('OK:', len(data), data) sys.stderr.flush() sys.stdout.flush()