Lines Matching refs:stdin
1862 prompt for stdin or readline()
1903 /* Read the next line by normal means, prompting if the file is stdin. */
1906 if (f == stdin) printf("%s", prompt);
2910 printf("Input and output default to stdin and stdout.\n");
2971 /* Read lines from named file or stdin and write to named file or stdout; lines
2977 FILE *infile = stdin;
3490 if (infile != stdin) fprintf(outfile, "%s", (char *)buffer);
3680 if (infile != stdin) fprintf(outfile, "%s", (char *)pp);
4032 if (infile != stdin)
4536 if (infile != stdin) fprintf(outfile, "%s", (char *)buffer);
5661 if (infile == stdin) fprintf(outfile, "\n");
5682 if (infile != NULL && infile != stdin) fclose(infile);