Add make-package-list script
authorPeter Amstutz <tetron@public.arvados.org>
Fri, 14 Feb 2020 16:16:00 +0000 (16:16 +0000)
committerPeter Amstutz <tetron@public.arvados.org>
Fri, 14 Feb 2020 16:16:00 +0000 (16:16 +0000)
jenkins/make-package-list.sh [new file with mode: 0755]

diff --git a/jenkins/make-package-list.sh b/jenkins/make-package-list.sh
new file mode 100755 (executable)
index 0000000..e4e7746
--- /dev/null
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+VERNO=$1
+distro=$2
+
+for p in $(find /var/lib/freight/apt/${distro}-testing -name "*_${VERNO}*.deb") ; do
+       echo $(basename $p) | sed 's/\([^_]*\)_\([^_]*\)_.*/\1: \2/g'
+done
+