From 4bd562735e41eba862b598b305ee8a4dc25d84a5 Mon Sep 17 00:00:00 2001 From: Kevin Cotugno Date: Fri, 20 Oct 2017 09:07:17 -0700 Subject: [PATCH] Use better ZSH check --- profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profile b/profile index 727299a..d227308 100644 --- a/profile +++ b/profile @@ -2,7 +2,7 @@ if [[ -d "$HOME/dev" ]]; then export DEVPATH="$HOME/dev" fi -if [[ -n "$(echo $SHELL | grep zsh)" ]]; then +if [[ -n "$ZSH_VERSION" ]]; then export ZSH="$HOME/.oh-my-zsh" ZSH_THEME="jispwoso"