Bash: useful bash/sh/zsh stuff