2022-06-04 Bash compound commands and redirection