Utilities for bash