From 2f74e7443ab0bae45bffa8640f3e42b75edad534 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Tue, 9 Jun 2020 22:20:12 +0100
Subject: [PATCH] zsh: Override antigen.zsh Linux path again

---
 tag-zsh/zsh/configs/plugins.zsh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tag-zsh/zsh/configs/plugins.zsh b/tag-zsh/zsh/configs/plugins.zsh
index d2d88d68..3255541d 100644
--- a/tag-zsh/zsh/configs/plugins.zsh
+++ b/tag-zsh/zsh/configs/plugins.zsh
@@ -1,7 +1,9 @@
 if is_macos; then
   source /usr/local/share/antigen/antigen.zsh
 elif is_linux; then
-  source /usr/share/zsh-antigen/antigen.zsh
+  # antigen.zsh has been downloaded manually for now,
+  # see https://github.com/zsh-users/antigen/issues/659.
+  source $HOME/.antigen.zsh
 fi
 
 antigen bundle mollifier/cd-gitroot