This repository was archived by the owner on Mar 27, 2026. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathhosts.xml
More file actions
96 lines (74 loc) · 2.97 KB
/
hosts.xml
File metadata and controls
96 lines (74 loc) · 2.97 KB
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
<?xml version="1.0" encoding="UTF-8"?>
<!--
Lists host names and associated profile. This file can be edited directly,
or even created automatically depending on your environment.
THIS IS A SAMPLE FILE.
For detailed documentation on the XML structure, attributes etc it's
recommended to have a look at the XSD schema included here:
xsd/
An automatically generated documentation of the XML structure is included
here:
documents/
Just open documents/index.html in your favorite web browser.
More documentation is available on the WPKG web-page as well:
<http://wpkg.org/Category:Documentation>
-->
<hosts:wpkg xmlns:hosts="http://www.wpkg.org/hosts" xmlns:wpkg="http://www.wpkg.org/wpkg"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.wpkg.org/hosts xsd/hosts.xsd ">
<!--
Specifies a match for host name "hostname" and assigns profile "custom"
to this host.
-->
<!-- <host name="201_04" profile-id="test" />
-->
<!-- Histoire Géo -->
<host name="HG.+" profile-id="histgeo" />
<!-- EPS + PORT_ADM-->
<host name="EPS.+" profile-id="eps" />
<host name="PORT_ADM" profile-id="eps" />
<!-- Informatique -->
<host name="INFO_.+" profile-id="info" />
<!-- Administration -->
<host name="CUISINE" profile-id="admin" />
<host name="PRI" profile-id="admin" />
<host name="PRA" profile-id="admin" />
<host name="SA_.+" profile-id="admin" />
<host name="INT_.+" profile-id="admin" />
<host name="SI.+" profile-id="admin" />
<host name="CPE.+" profile-id="admin" />
<host name="VIESCO" profile-id="admin" />
<host name="scolarite" profile-id="admin" />
<host name="ACCUEIL" profile-id="admin" />
<host name="INF" profile-id="adminlibro" />
<host name="secretariat" profile-id="admin" />
<host name="PLT-ADM-.+" profile-id="admin" />
<!-- Maths -->
<!--
<host name="ULIS_.+" profile-id="math" />
<host name="105_MATHS" profile-id="math" />
<host name="210_MATH" profile-id="math" />
<host name=".+_MATH" profile-id="math" />
<host name=".+_MATHS" profile-id="math" />
-->
<!-- Techno -->
<host name="PC_ALAIN.+" profile-id="techno" />
<host name="0tech_.+" profile-id="techno" />
<host name="1tech_.+" profile-id="techno" />
<host name="2tech_.+" profile-id="techno" />
<host name="3tech_.+" profile-id="techno" />
<host name="AP_.+" profile-id="techno" />
<!--
This specification uses a regular expression for host name matching.
See <http://wpkg.org/index.php/Regular_expression_support> for more
details.
This will match any non-empty hostname and assign it the "other"
profile. So the entry acts as a kind of "catch all" entry. All hosts
which are not matched by a more-specific host entry appearing before
this one will be assigned the "other" profile.
Note: In case you enabled the applyMultiple option in config.xml this
will assign the "other" profile to all hosts in addition to any more-
precise host specification applying before.
-->
<host name=".+" profile-id="base" />
</hosts:wpkg>