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.

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.
Shrikant Sharat
1 parent 36cb718564
Showing 1 changed file with 7 additions and 1 deletions Side-by-side Diff
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"
...	...	@@ -74,6 +74,7 @@ bundle-install () {
74	74	local handled_repos=""
75	75
76	76	echo-non-empty "$bundles" \| while read spec; do
	77	+ echo "-> $spec"
77	78
78	79	local name="$(echo "$spec" \| awk '{print $1}')"
79	80	local url="$(echo "$spec" \| awk '{print $2}')"
...	...	@@ -91,7 +92,12 @@ bundle-install () {
91	92	fi
92	93
93	94	if [[ $name != *.theme ]]; then
94		- cp -r "$clone_dir/$loc" "$ANTIGEN_BUNDLE_DIR/$name"
	95	+ echo Installing $name
	96	+ mkdir -p "$ANTIGEN_BUNDLE_DIR/$name"
	97	+ pushd "$clone_dir/$loc" > /dev/null
	98	+ ls \| grep -Fv '.git' \
	99	+ \| xargs cp -rt "$ANTIGEN_BUNDLE_DIR/$name"
	100	+ popd > /dev/null
95	101	else
96	102	mkdir -p "$ANTIGEN_BUNDLE_DIR/$name"
97	103	cp "$clone_dir/$loc" "$ANTIGEN_BUNDLE_DIR/$name"