some useful bash scripts