Various bits and pieces to make bash life easier