Gentoo Archives: gentoo-commits

From: "Ulrich Müller" <ulm@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/nxml-gentoo-schemas:master commit in: /
Date: Mon, 06 Sep 2021 18:11:09
Message-Id: 1621410757.b1bab6a516c5512e84ed70b38f0750654ab4a5f5.ulm@gentoo
1 commit: b1bab6a516c5512e84ed70b38f0750654ab4a5f5
2 Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
3 AuthorDate: Wed May 19 07:52:37 2021 +0000
4 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
5 CommitDate: Wed May 19 07:52:37 2021 +0000
6 URL: https://gitweb.gentoo.org/proj/nxml-gentoo-schemas.git/commit/?id=b1bab6a5
7
8 userinfo.rnc: File restored
9
10 Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
11
12 Makefile | 2 +-
13 schemas.xml | 1 +
14 userinfo.rnc | 44 ++++++++++++++++++++++++++++++++++++++++++++
15 3 files changed, 46 insertions(+), 1 deletion(-)
16
17 diff --git a/Makefile b/Makefile
18 index 304ae7e..e9c6372 100644
19 --- a/Makefile
20 +++ b/Makefile
21 @@ -1,5 +1,5 @@
22 DTDS = devbook.dtd glsa.dtd metadata.dtd mirrors.dtd \
23 - projects.dtd repositories.dtd
24 + projects.dtd repositories.dtd userinfo.dtd
25
26 RNCS = $(patsubst %.dtd,%.rnc,$(DTDS))
27
28
29 diff --git a/schemas.xml b/schemas.xml
30 index 0a7f23c..f93bcbb 100644
31 --- a/schemas.xml
32 +++ b/schemas.xml
33 @@ -10,4 +10,5 @@
34 <documentElement localName="pkgmetadata" uri="metadata.rnc" />
35 <documentElement localName="projects" uri="projects.rnc" />
36 <documentElement localName="repositories" uri="repositories.rnc" />
37 + <documentElement localName="userlist" uri="userinfo.rnc" />
38 </locatingRules>
39
40 diff --git a/userinfo.rnc b/userinfo.rnc
41 new file mode 100644
42 index 0000000..54a1305
43 --- /dev/null
44 +++ b/userinfo.rnc
45 @@ -0,0 +1,44 @@
46 +userlist = element userlist { attlist.userlist, user+ }
47 +attlist.userlist &= empty
48 +user =
49 + element user {
50 + attlist.user,
51 + realname,
52 + pgpkey+,
53 + alias*,
54 + email+,
55 + joined*,
56 + retired*,
57 + status?,
58 + roles?,
59 + location?
60 + }
61 +attlist.user &= attribute username { xsd:ID }
62 +realname = element realname { attlist.realname, firstname, familyname }
63 +attlist.realname &= attribute fullname { text }?
64 +firstname = element firstname { attlist.firstname, text }
65 +attlist.firstname &= empty
66 +familyname = element familyname { attlist.familyname, text }
67 +attlist.familyname &= attribute sort { text }?
68 +pgpkey = element pgpkey { attlist.pgpkey, text }
69 +attlist.pgpkey &= empty
70 +alias = element alias { attlist.alias, text }
71 +attlist.alias &= empty
72 +email = element email { attlist.email, text }
73 +attlist.email &= empty
74 +# all dates should be YYYY-MM-DD - eg '2006-11-22'
75 +joined = element joined { attlist.joined, text }
76 +attlist.joined &= empty
77 +retired = element retired { attlist.retired, text }
78 +attlist.retired &= empty
79 +status = element status { attlist.status, text }
80 +attlist.status &= empty
81 +roles = element roles { attlist.roles, text }
82 +attlist.roles &= empty
83 +# Location is the string displayed on the webpage
84 +location = element location { attlist.location, text }
85 +# signed decimal numbers. degrees north/east.
86 +attlist.location &=
87 + attribute latitude { text }?,
88 + attribute longitude { text }?
89 +start = userlist