diff options
author | Tobias Klauser <tklauser@distanz.ch> | 2016-07-15 16:55:10 +0200 |
---|---|---|
committer | Tobias Klauser <tklauser@distanz.ch> | 2016-07-15 16:55:34 +0200 |
commit | d2cbc9842f1a1451abdc27aa81fbb895173b6a31 (patch) | |
tree | 0371f2ad3f447ee9d3dec9315d8bda62daa855a2 | |
parent | 1def0faa9ebcab1fd90338618c5653262474fc11 (diff) |
bashrc: Fix indentation, check executable /bin/zsh
-rw-r--r-- | .bashrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,8 +3,8 @@ parent=$(ps -o comm= -p $PPID) # use zsh if available and configured -if [ -f /bin/zsh ] && [ -f .zsh/override_bash ] && [ "x$parent" != "xzsh" ] && [ "x$parent" != "bash" ] ; then - exec /bin/zsh +if [ -x /bin/zsh ] && [ -f .zsh/override_bash ] && [ "x$parent" != "xzsh" ] && [ "x$parent" != "bash" ] ; then + exec /bin/zsh fi # If not running interactively, don't do anything |