dotfiles

commit dfebb5da4b76381f3e3957dc4485c001a633c632
parent 41307c2271191d8627897fb938a0722db206d390
Author: Anders Damsgaard <anders.damsgaard@geo.au.dk>
Date:   Fri,  3 Jul 2015 15:34:43 +0200

Merge branch 'master' of github.com:anders-dc/dotfiles

Diffstat:
M
.zshrc
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.zshrc b/.zshrc
@@ -194,7 +194,7 @@ fi
 
 source ~/.tmuxinator/tmuxinator.zsh
 
-if [[ $(echo $HOSTNAME | grep flaptop) ]]; then
+if [ $(echo $HOSTNAME | grep flaptop) ]; then
     #source ~/.xsh
     export PATH=~/miniconda3/bin:$PATH
 fi