From 7af74e75701754d73f5a8c4a296ac8dd73352aa9 Mon Sep 17 00:00:00 2001
From: Thomas Forgione <thomas@forgione.fr>
Date: Wed, 29 Jan 2020 11:19:53 +0100
Subject: [PATCH] Migrates oh-my-zsh to ohmyzsh

---
 zshrc | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/zshrc b/zshrc
index fc8b5dd..96256bf 100644
--- a/zshrc
+++ b/zshrc
@@ -1,11 +1,21 @@
 # ~/.zshrc
 
+# Migrates from robbyrussell/oh-my-zsh to ohmyzsh/ohmyzsh
+# This only needs to stay here temporarily until everyone executed it.
+if [ -d $HOME/.config/oh-my-zsh ]; then
+    local oldwd=$PWD
+    mv $HOME/.config/oh-my-zsh/ $HOME/.config/ohmyzsh
+    cd $HOME/.config/ohmyzsh
+    git remote set-url origin https://github.com/ohmyzsh/ohmyzsh
+    cd $oldpw
+fi
+
 # Path to the dotfiles
 DOTFILES=$HOME/.config/dotfiles
 DISABLE_AUTO_UPDATE="true"
 
 # Path to your oh-my-zsh configuration
-ZSH=$HOME/.config/oh-my-zsh
+ZSH=$HOME/.config/ohmyzsh
 ZSH_CUSTOM=$HOME/.config/dotfiles/zsh/ohmyzsh
 
 ZSH_THEME="laptop"