Bash Tools for Coding Agents