From 4e3a8497816b6295c7fc76c00e2642b3089bfa8a Mon Sep 17 00:00:00 2001
From: Kevin Cotugno <kevin@kevincotugno.com>
Date: Thu, 22 Jul 2021 05:39:26 -0700
Subject: [PATCH] Create $HOME/devel if it doesn't exist

---
 .zshrc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.zshrc b/.zshrc
index daed36f..516007a 100644
--- a/.zshrc
+++ b/.zshrc
@@ -19,12 +19,11 @@ if [[ -f "$oh_my_zsh/oh-my-zsh.sh" ]]; then
 	source "$oh_my_zsh/oh-my-zsh.sh"
 fi
 
-if [[ -d "$HOME/devel" ]]; then
-	export DEVPATH="$HOME/devel"
-elif [[ -d "$HOME/workspace" ]]; then
+if [[ -d "$HOME/workspace" ]]; then
 	export DEVPATH="$HOME/workspace"
 else
-	export DEVPATH="$HOME"
+	mkdir -p "$HOME/devel"
+	export DEVPATH="$HOME/devel"
 fi
 
 if [[ -z "$USER" ]]; then