[ARVADOS-DEV] updated: 1106bda308c95f335da1b095fe04fbb56b3fa30c

[Git user]

Summary of changes:
 jenkins/make-package-list.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 jenkins/make-package-list.sh

       via  1106bda308c95f335da1b095fe04fbb56b3fa30c (commit)
      from  7c440b026d4be0e66d8da6a1529928ebef86ca44 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 1106bda308c95f335da1b095fe04fbb56b3fa30c
Author: Peter Amstutz <tetron at public.arvados.org>
Date:   Fri Feb 14 16:16:00 2020 +0000

    Add make-package-list script

diff --git a/jenkins/make-package-list.sh b/jenkins/make-package-list.sh
new file mode 100755
index 0000000..e4e7746
--- /dev/null
+++ b/jenkins/make-package-list.sh
@@ -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
+

-----------------------------------------------------------------------


hooks/post-receive
--