diff --git a/fetch.sh b/fetch.sh index fa0b6b60e..f7b586c86 100755 --- a/fetch.sh +++ b/fetch.sh @@ -29,7 +29,7 @@ do apt download -y $bin_pkg:$PIKA_BIN_ARCH || echo "Maybe Error: $bin_pkg doesn't exist in $PIKA_BIN_ARCH" && continue if [[ $BIN_VERSION == $TARGET_VERSION ]] then - mv ./*.deb ./output/ + cp -vf ./*.deb ./output/ else for i in ./*.deb do @@ -37,7 +37,7 @@ do dpkg-deb -R $i $i-tmp sed -i "s#$BIN_VERSION#$TARGET_VERSION#g" $i-tmp/DEBIAN/control dpkg-deb -b $i-tmp $i-fixed.deb - mv ./*-fixed.deb ./output/ + cp -vf ./*-fixed.deb ./output/ done fi done