redirection script linux shell