More Bash tricks