From 38aca08fb0ff231aa49679756282152056c5d4ce Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 31 Jan 2013 10:21:34 +0100 Subject: add script to check date in rpm changelog --- checkrpmdate | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100755 checkrpmdate (limited to 'checkrpmdate') diff --git a/checkrpmdate b/checkrpmdate new file mode 100755 index 0000000..f4bfa82 --- /dev/null +++ b/checkrpmdate @@ -0,0 +1,42 @@ +#!/usr/bin/php +\n"); +} +if (!file_exists($_SERVER['argv'][1])) { + die("File not found\n"); +} +$text = file_get_contents($_SERVER['argv'][1]); +$lines = explode("\n", $text); + +$key = array_search("%changelog", $lines); +if (!$key) { + die("%changelog not found\n"); +} +$lines = array_slice($lines, $key); +$nbok = $nbko = 0; +foreach ($lines as $line) { + if (preg_match('/^\* (([[:alpha:]]{3}) ([[:alpha:]]{3}) *([[:digit:]]{1,2}) ([[:digit:]]{4}))/', $line, $reg)) { + $d0 = $reg[4].' '.$reg[3].' '.$reg[5]; + $t = strtotime($d0); + $d1 = date("D M d Y", $t); + $d2 = date("D M j Y", $t); + if ($d1 == $reg[1] || $d2 == $reg[1]) { + $nbok++; + } else { + echo $reg[1].": should be $d1\n"; + $nbko++; + } + } else if (substr($line,0,1)=='*') { + echo "$line: should start with a date\n"; + $nbko++; + } +} +if (!$nbko) { + if ($nbok) { + echo "$nbok dates found are ok\n"; + } else { + echo "No date found\n"; + } +} + -- cgit