From 1ba08957c44fdfad0581e2705e4e9494833a11f4 Mon Sep 17 00:00:00 2001
From: Shrikant Sharat <shrikantsharat.k@gmail.com>
Date: Sun, 3 Jun 2012 13:40:09 +0530
Subject: [PATCH] Fix repo plugins not being copied.

Trying to copy the .git directory is futile in some situations. So, copy
everything else except of .git directories.
---
 antigen.zsh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/antigen.zsh b/antigen.zsh
index b8e309c..4ca2260 100644
--- a/antigen.zsh
+++ b/antigen.zsh
@@ -74,6 +74,7 @@ bundle-install () {
     local handled_repos=""
 
     echo-non-empty "$bundles" | while read spec; do
+        echo "-> $spec"
 
         local name="$(echo "$spec" | awk '{print $1}')"
         local url="$(echo "$spec" | awk '{print $2}')"
@@ -91,7 +92,12 @@ bundle-install () {
         fi
 
         if [[ $name != *.theme ]]; then
-            cp -r "$clone_dir/$loc" "$ANTIGEN_BUNDLE_DIR/$name"
+            echo Installing $name
+            mkdir -p "$ANTIGEN_BUNDLE_DIR/$name"
+            pushd "$clone_dir/$loc" > /dev/null
+            ls | grep -Fv '.git' \
+                | xargs cp -rt "$ANTIGEN_BUNDLE_DIR/$name"
+            popd > /dev/null
         else
             mkdir -p "$ANTIGEN_BUNDLE_DIR/$name"
             cp "$clone_dir/$loc" "$ANTIGEN_BUNDLE_DIR/$name"
-- 
2.0.0