Lines Matching full:terminal
723 terminal), it is better not to include the program name in an error
726 input from a source other than a terminal, it is not interactive and
755 message syntax when using a terminal is ok, because that is a side issue
759 terminal, and another is most useful when the output is a file or a
761 is useful with output to a terminal, and have an option for the other
1993 `terminal'
