reset_terminal 188 src/core/execute.c reset_terminal(tty_path(context)); reset_terminal 406 src/shared/util.h int reset_terminal(const char *name);