Several bash utilities functions I use for everyday work