Name of the file associated with sys.std*

[Henryk Modzelewski]

Hi,

It might be a trivial question, but I seem to be lost.

Is there a way to get names of the files associated with stdin/out/ 
err if those are redirected to the files at the shell command-line?

Thanks,
Henryk