some useful bash utilities