bash functions and libraries that are handy for quickly writing bash scripts