]> git.wh0rd.org Git - home.git/commitdiff
upload-gentoo-package: copy files in with -i
authorMike Frysinger <vapier@gentoo.org>
Sat, 4 Apr 2015 19:14:57 +0000 (15:14 -0400)
committerMike Frysinger <vapier@gentoo.org>
Sat, 4 Apr 2015 19:14:57 +0000 (15:14 -0400)
.bin/upload-gentoo-package

index 503afaeff3cfcba1e9c6c3e26b9c039d70ff95d4..2a334445310eb92d414fa32077c57e02d4b83d47 100755 (executable)
@@ -25,5 +25,5 @@ for pkg in "$@" ; do
        p=${pkg##*/}
        echo "${p}: posting"
        scp "${pkg}" dev:~/
-       ssh dev "cp ${p} public_html/dist/ && mv ${p} /space/distfiles-local/"
+       ssh dev "cp -i ${p} public_html/dist/ && mv -i ${p} /space/distfiles-local/"
 done