Some useful bash scripts, not all mine