Lines Matching full:terminal
588 input is a terminal. Note that readline() removes the trailing newline, so1137 printf("If input is a terminal, readline() is used to read from it.\n");