From a27d43bc7a879f2f3d595547b3cf77f80c7519a0 Mon Sep 17 00:00:00 2001
From: Manuel Thalmann <m@nuth.ch>
Date: Tue, 16 Jul 2024 01:33:08 +0200
Subject: [PATCH] Copy repo using `rsync`

---
 scripts/copy-repo.fish | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/scripts/copy-repo.fish b/scripts/copy-repo.fish
index 77c521ae..1d0e788e 100755
--- a/scripts/copy-repo.fish
+++ b/scripts/copy-repo.fish
@@ -6,7 +6,5 @@ begin
     git -C "$dir" diff HEAD | git -C "$target" apply --allow-empty &> /dev/null
 
     and git -C "$dir" ls-files --exclude-standard --others | \
-        while read file
-            and cp "$dir/$file" "$target/$file"
-        end
+        rsync --files-from=/dev/stdin "$dir" "$target"
 end