#shell redirection #output redirection #stdout #bash script #command output #penguin file