piped-redirection/.gitignore