Closed swsnr closed 9 years ago
Use $SHELL by default, and fall back to /bin/bash.
$SHELL
/bin/bash
I suppose shell-file-name variable is better than (getenv "SHELL"). How about you ?
shell-file-name
(getenv "SHELL")
I didn't know about shell-file-name. It seems to be the appropriate thing to use.
Updated this PR accordingly.
Thanks
Use
$SHELL
by default, and fall back to/bin/bash
.