some bash scripts useful for us