Some utilities for bash