Copy repo using rsync

This commit is contained in:
Manuel Thalmann 2024-07-16 01:33:08 +02:00
parent 447d09fa7e
commit a27d43bc7a

View file

@ -6,7 +6,5 @@ begin
git -C "$dir" diff HEAD | git -C "$target" apply --allow-empty &> /dev/null git -C "$dir" diff HEAD | git -C "$target" apply --allow-empty &> /dev/null
and git -C "$dir" ls-files --exclude-standard --others | \ and git -C "$dir" ls-files --exclude-standard --others | \
while read file rsync --files-from=/dev/stdin "$dir" "$target"
and cp "$dir/$file" "$target/$file"
end
end end