Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 474080

Summary: Zero is not a positive integer
Product: Gentoo Hosted Projects Reporter: Gordon Pettey <petteyg359>
Component: PMS/EAPIAssignee: PMS/EAPI <pms>
Status: RESOLVED DUPLICATE    
Severity: trivial CC: hasufell
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: All   
URL: http://dev.gentoo.org/~ulm/pms/5/pms.html#x1-200003.1.2
Whiteboard:
Package list:
Runtime testing required: ---

Description Gordon Pettey 2013-06-21 20:35:59 UTC
3.2 Version Specifications
"A version ... is ...  [0-9]+(\.[0-9]+)* (a positive integer followed by zero or more dot-prefixed positive integers)."

Zero is not positive (or negative). This should say 'non-negative' instead of 'postive'.
Comment 1 Ulrich Müller gentoo-dev 2013-06-22 01:45:12 UTC
Maybe we should rewrite it as "a digit string followed by zero or more dot-prefixed digit strings" because version components are not always interpreted as integers (e.g., 1.02 is less than 1.1).
Comment 2 Gordon Pettey 2013-06-22 04:56:44 UTC
(In reply to Ulrich Müller from comment #1)
> version components are not always
> interpreted as integers (e.g., 1.02 is less than 1.1).

Perhaps "e.g. 1.10 is greater than 1.1" would make more sense :)
Comment 3 Ulrich Müller gentoo-dev 2018-08-08 14:30:50 UTC
This has been fixed some time ago with bug 635340.

Closing (with the dupe being the wrong way around, but the other bug has more information).

*** This bug has been marked as a duplicate of bug 635340 ***