Flummoxed by IT: Bash: Repeat input from pipe