From 248f68a249583e3113499ec19be38f3c129a2764 Mon Sep 17 00:00:00 2001
From: Josh Sherman <joshsherman@gmail.com>
Date: Thu, 13 Sep 2018 18:51:17 -0500
Subject: [PATCH] Create GNOME shell extensions directory

On a brand new system, this bombed out for me
---
 install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install b/install
index c8407af..e3142ca 100755
--- a/install
+++ b/install
@@ -36,6 +36,7 @@ rm -rf \
 
 mkdir -p \
   "$DOTLOCAL" \
+  "$HOME/.local/share/gnome-shell/extensions" \
   "$HOME/.local/share/vim/"{swap,undo} \
   "$HOME/.themes/custom/gnome-shell" \
   "$HOME/.vim/colors" \