Bash: tidy up