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);