Question: Bash redirection: save stderr/stdout to different files and still print them out on a console