I am a very beginner of unix, and working on putty shell environment.
I know standard input, output, and error are streams and related to file descriptors, but I did not understand clearly what /dev/stdin does.
What is '/dev/stdin/ and how to use?
Is it a special (block or character) file of a device?