From 8edadb1d48ec4b9ae4ee37054b1b62b94231412d Mon Sep 17 00:00:00 2001 From: Joerg Jaspert Date: Fri, 25 Mar 2011 20:55:12 +0100 Subject: [PATCH] less : Signed-off-by: Joerg Jaspert --- scripts/debian/buildd-add-keys | 4 ++-- scripts/debian/buildd-remove-keys | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/debian/buildd-add-keys b/scripts/debian/buildd-add-keys index 06ff011d..4ded0f34 100755 --- a/scripts/debian/buildd-add-keys +++ b/scripts/debian/buildd-add-keys @@ -74,8 +74,8 @@ for file in $(ls -1 ${INCOMING}/*.key); do file=${file##*/} # First we want to see if we recognize the filename. The buildd people have # to follow a certain schema: - # architecture_builddname.YEAR-MONTH-DAY_HOUR:MINUTE.key - if [[ $file =~ (.*)_(.*).([0-9]{4}-[0-9]{2}-[0-9]{2}_[0-9]{2}:[0-9]{2}).key ]]; then + # architecture_builddname.YEAR-MONTH-DAY_HOURMINUTE.key + if [[ $file =~ (.*)_(.*).([0-9]{4}-[0-9]{2}-[0-9]{2}_[0-9]{2}[0-9]{2}).key ]]; then ARCH=${BASH_REMATCH[1]} BUILDD=${BASH_REMATCH[2]} # Right now timestamp is unused diff --git a/scripts/debian/buildd-remove-keys b/scripts/debian/buildd-remove-keys index c07ff04b..180f1f25 100755 --- a/scripts/debian/buildd-remove-keys +++ b/scripts/debian/buildd-remove-keys @@ -75,8 +75,8 @@ for file in $(ls -1 ${INCOMING}/*.del ); do file=${file##*/} # First we want to see if we recognize the filename. The buildd people have # to follow a certain schema: - # architecture_builddname.YEAR-MONTH-DAY_HOUR:MINUTE.del - if [[ $file =~ (.*)_(.*).([0-9]{4}-[0-9]{2}-[0-9]{2}_[0-9]{2}:[0-9]{2}).del ]]; then + # architecture_builddname.YEAR-MONTH-DAY_HOURMINUTE.del + if [[ $file =~ (.*)_(.*).([0-9]{4}-[0-9]{2}-[0-9]{2}_[0-9]{2}[0-9]{2}).del ]]; then ARCH=${BASH_REMATCH[1]} BUILDD=${BASH_REMATCH[2]} # Right now timestamp is unused -- 2.39.5