On Thu, Apr 18, 2019 at 10:02:18AM +0200, Andrea Bolognani wrote: > To match the version number. > > Signed-off-by: Andrea Bolognani <abologna@xxxxxxxxxx> > --- > data/os/debian.org/debian-3.xml.in | 1 + > data/os/debian.org/debian-4.xml.in | 1 + > data/os/debian.org/debian-5.xml.in | 1 + > data/os/debian.org/debian-6.xml.in | 1 + > 4 files changed, 4 insertions(+) I'm on the fence about whether we should do this one, given that we can't change the ID URL to have the extra digit, I'm not sure supporting the extra digit in the short-id is worth bothering about. > > diff --git a/data/os/debian.org/debian-3.xml.in b/data/os/debian.org/debian-3.xml.in > index abb5739..eddb1a9 100644 > --- a/data/os/debian.org/debian-3.xml.in > +++ b/data/os/debian.org/debian-3.xml.in > @@ -2,6 +2,7 @@ > <!-- Licensed under the GNU General Public License version 2 or later. > See http://www.gnu.org/licenses/ for a copy of the license text --> > <os id="http://debian.org/debian/3"> > + <short-id>debian3.0</short-id> > <short-id>debian3</short-id> > <short-id>debianwoody</short-id> > <_name>Debian GNU/Linux 3.0</_name> > diff --git a/data/os/debian.org/debian-4.xml.in b/data/os/debian.org/debian-4.xml.in > index 7a227a2..161a404 100644 > --- a/data/os/debian.org/debian-4.xml.in > +++ b/data/os/debian.org/debian-4.xml.in > @@ -2,6 +2,7 @@ > <!-- Licensed under the GNU General Public License version 2 or later. > See http://www.gnu.org/licenses/ for a copy of the license text --> > <os id="http://debian.org/debian/4"> > + <short-id>debian4.0</short-id> > <short-id>debian4</short-id> > <short-id>debianetch</short-id> > <_name>Debian GNU/Linux 4.0</_name> > diff --git a/data/os/debian.org/debian-5.xml.in b/data/os/debian.org/debian-5.xml.in > index e5ce063..7b502f5 100644 > --- a/data/os/debian.org/debian-5.xml.in > +++ b/data/os/debian.org/debian-5.xml.in > @@ -2,6 +2,7 @@ > <!-- Licensed under the GNU General Public License version 2 or later. > See http://www.gnu.org/licenses/ for a copy of the license text --> > <os id="http://debian.org/debian/5"> > + <short-id>debian5.0</short-id> > <short-id>debian5</short-id> > <short-id>debianlenny</short-id> > <_name>Debian GNU/Linux 5.0</_name> > diff --git a/data/os/debian.org/debian-6.xml.in b/data/os/debian.org/debian-6.xml.in > index 243c6d6..eb2110f 100644 > --- a/data/os/debian.org/debian-6.xml.in > +++ b/data/os/debian.org/debian-6.xml.in > @@ -2,6 +2,7 @@ > <!-- Licensed under the GNU General Public License version 2 or later. > See http://www.gnu.org/licenses/ for a copy of the license text --> > <os id="http://debian.org/debian/6"> > + <short-id>debian6.0</short-id> > <short-id>debian6</short-id> > <short-id>debiansqueeze</short-id> > <_name>Debian 6.0</_name> > -- > 2.20.1 > > _______________________________________________ > Libosinfo mailing list > Libosinfo@xxxxxxxxxx > https://www.redhat.com/mailman/listinfo/libosinfo Regards, Daniel -- |: https://berrange.com -o- https://www.flickr.com/photos/dberrange :| |: https://libvirt.org -o- https://fstop138.berrange.com :| |: https://entangle-photo.org -o- https://www.instagram.com/dberrange :| _______________________________________________ Libosinfo mailing list Libosinfo@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/libosinfo