checkrpmdate


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

#!/usr/bin/php
<?php
if (!isset($_SERVER['argv'][1])) {
	die("usage checkrpmdate <specfile>\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";
	}
}