Script to copy debs from the arm64 build server

1 files changed, 18 insertions, 0 deletions

diff --git a/move_debs_arm64 b/move_debs_arm64
new file mode 100755
index 0000000..34c604b
--- /dev/null
+++ b/move_debs_arm64
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+# Copy binary packages built in a chroot on a remote server to the local repository
+
+usage()
+{
+echo "Usage: ./move_debs bullseye|bookworm"
+}
+
+# Positional argument
+if [ $# -lt 1 ]; then usage; exit 1; fi
+DIST=$1
+
+# Validate distribution argument
+if [ $DIST != "bookworm" ] && [ $DIST != "bullseye" ]; then usage; exit 1; fi
+
+scp arm64:/var/chroot/$DIST-arm64/root/r-backports/$DIST/*${DIST}cran*_arm64.{deb,build} /home/jranke/git/uni-bremen/website/www/ranke/r-cran/$DIST-cran40
+sudo chown jranke /home/jranke/git/uni-bremen/website/www/ranke/r-cran/$DIST-cran40