tools to help operations in bash