[Libosinfo] [osinfo-db PATCH] centos7: Rename from CentOS 7.0 to CentOS 7

[Cole Robinson]

On 6/14/19 2:54 AM, Fabiano Fidêncio wrote:
> CentOS, differently than RHEL, does not support pointing releases at
> all. If we knew that when adding the entry in the first place, we'd
> never have a centos7.0 entry.
> 
> The easiest way to work around the mistake made in the past is by adding
> centos7 as short-id so OSes with a "new enough" libosinfo could just
> start using it without any issues.
> 
> Together with this change, let's also change the name from CentOS 7.0 to
> CentOS 7 as it's the distro preferred way to advertise the system.
> 
> Signed-off-by: Fabiano Fidêncio <fidencio at redhat.com>
> ---
>  data/os/centos.org/centos-7.0.xml.in | 5 +++--
>  1 file changed, 3 insertions(+), 2 deletions(-)
> 
> diff --git a/data/os/centos.org/centos-7.0.xml.in b/data/os/centos.org/centos-7.0.xml.in
> index 3617d36..c1b4e9f 100644
> --- a/data/os/centos.org/centos-7.0.xml.in
> +++ b/data/os/centos.org/centos-7.0.xml.in
> @@ -3,8 +3,9 @@
>       See http://www.gnu.org/licenses/ for a copy of the license text -->
>    <os id="http://centos.org/centos/7.0">
>      <short-id>centos7.0</short-id>
> -    <_name>CentOS 7.0</_name>
> -    <version>7.0</version>
> +    <short-id>centos7</short-id>
> +    <_name>CentOS 7</_name>
> +    <version>7</version>
>      <_vendor>CentOS</_vendor>
>      <family>linux</family>
>      <distro>centos</distro>
> 

Reviewed-by: Cole Robinson <crobinso at redhat.com>

- Cole