I want the verible binaries to be found by the python tools I have. The verible binaries are located at: /tools/site/verible/0.0-925/bin$
Apparently there are two ways of doing it. One is:
export PATH=$PATH:<path-to-binaries-here>
Bash
This will add the verible binaries in the end of the path. Another way is to add it to the beginning:
export PATH=<path-to-binaries-here>:$PATH
Bash
After adding it to the path, the python files were able to properly find the binaries, without needing the full path.
Add the export command to your ~/.bashrc file, so it is executed every time you open a new terminal