bash utilities for convenience