Little bash scripts that are handy