Copy repo using rsync

This commit is contained in:
Manuel Thalmann 2024-07-16 01:33:08 +02:00
parent d14418e4ca
commit 508bd7a399

View file

@ -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