stdin
stdin
-- the standard input file.
Use this file to get input from the terminal
See also
File
.
Go to
main index
.
Go to
concepts index
.