stdin

fun stdin(file: String)

Read stdin from file.

Parameters

file

name of input file


stdin redirection, defaults to Pipe.