From e0c9014ec05b1b88860300c06f111bbb67d80f01 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Sun, 21 Jun 2020 00:11:43 +0100
Subject: [PATCH] zsh: Enable extendedglob

Enable the extendedglob option, which is needed for the scripts in the
`configs/post` directory to load correctly.

This includes the completion script that is needed to fix #12 and #13.
---
 tag-zsh/zshrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tag-zsh/zshrc b/tag-zsh/zshrc
index 5f0ff92f..bc2b3e83 100644
--- a/tag-zsh/zshrc
+++ b/tag-zsh/zshrc
@@ -1,3 +1,6 @@
+# Enable extended globbing for use in _load_settings()
+setopt extendedglob
+
 # extra files in ~/.zsh/configs/pre , ~/.zsh/configs , and ~/.zsh/configs/post
 # these are loaded first, second, and third, respectively.
 _load_settings() {