From d2cbc9842f1a1451abdc27aa81fbb895173b6a31 Mon Sep 17 00:00:00 2001
From: Tobias Klauser <tklauser@distanz.ch>
Date: Fri, 15 Jul 2016 16:55:10 +0200
Subject: bashrc: Fix indentation, check executable /bin/zsh

---
 .bashrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.bashrc')

diff --git a/.bashrc b/.bashrc
index 1a2e8ce..6bdf55a 100644
--- a/.bashrc
+++ b/.bashrc
@@ -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
-- 
cgit v1.2.3-54-g00ecf