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