File: profile.dtd

package info (click to toggle)
urfkill 0.5.0-7.3
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 712 kB
  • sloc: ansic: 6,558; xml: 715; makefile: 382; javascript: 87; sh: 31
file content (31 lines) | stat: -rw-r--r-- 854 bytes parent folder | download | duplicates (5)
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
<!-- Document Type for urfkill Device Profile Files -->

<!-- <profile> is the top-level element of a device profile file. -->
<!ELEMENT profile (device*) >
<!ATTLIST profile 
    version (0.1) #REQUIRED
>

<!ELEMENT device (match)*  >

<!ELEMENT match (match|option)* >
<!ATTLIST match 
    key              CDATA #REQUIRED
    string           CDATA #IMPLIED
    string_outof     CDATA #IMPLIED
    contains         CDATA #IMPLIED
    contains_ncase   CDATA #IMPLIED
    contains_not     CDATA #IMPLIED
    contains_outof   CDATA #IMPLIED
    prefix           CDATA #IMPLIED
    prefix_ncase     CDATA #IMPLIED
    prefix_outof     CDATA #IMPLIED
    suffix           CDATA #IMPLIED
    suffix_ncase     CDATA #IMPLIED
>

<!ELEMENT option (#PCDATA) >
<!ATTLIST option 
    key    CDATA #REQUIRED
    type   (string|strlist|int|bool|double) #REQUIRED
>