Fall back to /bin/bash for the default shell path.

catkin · Dec 8, 2015 · 274644c · 274644c
1 parent 7f933b5
commit 274644c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/catkin_tools/resultspace.py b/catkin_tools/resultspace.py
@@ -59,6 +59,7 @@ def get_resultspace_environment(result_space_path, quiet=False, cached=True):
     # Use fallback shell if using a non-standard shell
     if shell_name not in ['bash', 'zsh']:
         shell_name = 'bash'
+        shell_path = "/bin/bash"
 
     # Check to make sure result_space_path contains the appropriate setup file
     setup_file_path = os.path.join(result_space_path, 'env.sh')