From 807357131a3f7536c0cffdca63c06841209c337d Mon Sep 17 00:00:00 2001
From: Eragos <mfo1009@googlemail.com>
Date: Sat, 23 Apr 2016 20:04:08 +0200
Subject: [PATCH] makes zsh to default shell if installed

---
 .bash_profile | 3 +++
 .zshrc        | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.bash_profile b/.bash_profile
index f6c3616..2bdd7f5 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -2,6 +2,9 @@
 # If not running interactively, don't do anything
 [ -z "$PS1" ] && return
 
+# switch to zsh if installed
+[ -z "$ZSH_VERSION" ] && export SHELL=/bin/zsh && exec /bin/zsh -l
+
 # path
 PATH=$PATH:$HOME/bin:
 
diff --git a/.zshrc b/.zshrc
index 31f920e..bff1056 100644
--- a/.zshrc
+++ b/.zshrc
@@ -49,7 +49,7 @@ ZSH_THEME="cobalt2"
 # Custom plugins may be added to ~/.oh-my-zsh/custom/plugins/
 # Example format: plugins=(rails git textmate ruby lighthouse)
 # Add wisely, as too many plugins slow down shell startup.
-plugins=(git)
+plugins=(git docker)
 
 # User configuration