terminal_set
rv = terminal_set(el, va_arg(ap, char *));
(void) terminal_set(el, NULL);
libedit_private int terminal_set(EditLine *, const char *);