Some tools for bash