Command line tools for working with catkin
Python Shell Other
Clone or download
luisrayas3 and wjwwood When using a non-standard shell fix the usage of DEFAULT_SHELL. (#511)
Previously, using a non-standard shell meant using that non-standard shell's path (shell_path) whereas the shell_name would be bash. Not only is there this discrepancy, but then the command is actually run with the non-standard shell, which is liable to cause runtime errors (as it does if e.g. SHELL=/usr/bin/fish).
Latest commit 2cae17f Mar 23, 2018