From 07489f3850b5e416f9a7be9227442c717ccebe0f Mon Sep 17 00:00:00 2001
From: Raphael <anonhq789@protonmail.com>
Date: Sun, 24 Mar 2019 17:03:42 +0100
Subject: [PATCH] theme & plugins

---
 zshrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/zshrc b/zshrc
index b2c4b35..4029a4a 100644
--- a/zshrc
+++ b/zshrc
@@ -8,7 +8,7 @@
 # load a random theme each time oh-my-zsh is loaded, in which case,
 # to know which specific one was loaded, run: echo $RANDOM_THEME
 # See https://github.com/robbyrussell/oh-my-zsh/wiki/Themes
-ZSH_THEME="robbyrussell"
+ZSH_THEME="michelebologna"
 
 # Set list of themes to pick from when loading at random
 # Setting this variable when ZSH_THEME=random will cause zsh to load
@@ -64,6 +64,7 @@ ZSH_THEME="robbyrussell"
 # Add wisely, as too many plugins slow down shell startup.
 plugins=(
   git
+  docker
 )
 
 source $ZSH/oh-my-zsh.sh