Lines Matching refs:terminal
95 terminal = stdin;
128 * our own connection to the terminal.
130 terminal = fopen("/dev/tty", "r");
131 if (terminal == NULL) {
137 terminal = fopen("/dev/null", "r");
138 if (terminal == NULL) {
504 (void) fgets(tbf, (int)tbfsize, terminal);
505 } while (!feof(terminal) && tbf[0] == '\n');
506 if (feof(terminal))
540 (void) fgets(tbf, (int)tbfsize, terminal);
541 if (feof(terminal))