utilities for bash.