/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to mandos-clients.conf.xml

  • Committer: Teddy Hogeborn
  • Date: 2014-03-29 05:16:37 UTC
  • Revision ID: teddy@recompile.se-20140329051637-abjokbmd5aptbf5u
Minor changes to minimize diff from last release.

* plugins.d/mandos-client.c: Minor changes (mostly white space).

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos-clients.conf.xml
 
1
<?xml version="1.0" encoding="UTF-8"?>
 
2
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
 
3
        "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
 
4
<!ENTITY CONFNAME "mandos-clients.conf">
 
5
<!ENTITY CONFPATH "<filename>/etc/mandos/clients.conf</filename>">
 
6
<!ENTITY TIMESTAMP "2013-10-15">
 
7
<!ENTITY % common SYSTEM "common.ent">
 
8
%common;
 
9
]>
 
10
 
 
11
<refentry xmlns:xi="http://www.w3.org/2001/XInclude">
 
12
  <refentryinfo>
 
13
    <title>Mandos Manual</title>
 
14
    <!-- NWalsh’s docbook scripts use this to generate the footer: -->
 
15
    <productname>Mandos</productname>
 
16
    <productnumber>&version;</productnumber>
 
17
    <date>&TIMESTAMP;</date>
 
18
    <authorgroup>
 
19
      <author>
 
20
        <firstname>Björn</firstname>
 
21
        <surname>Påhlsson</surname>
 
22
        <address>
 
23
          <email>belorn@recompile.se</email>
 
24
        </address>
 
25
      </author>
 
26
      <author>
 
27
        <firstname>Teddy</firstname>
 
28
        <surname>Hogeborn</surname>
 
29
        <address>
 
30
          <email>teddy@recompile.se</email>
 
31
        </address>
 
32
      </author>
 
33
    </authorgroup>
 
34
    <copyright>
 
35
      <year>2008</year>
 
36
      <year>2009</year>
 
37
      <year>2010</year>
 
38
      <year>2011</year>
 
39
      <year>2012</year>
 
40
      <holder>Teddy Hogeborn</holder>
 
41
      <holder>Björn Påhlsson</holder>
 
42
    </copyright>
 
43
    <xi:include href="legalnotice.xml"/>
 
44
  </refentryinfo>
 
45
  
 
46
  <refmeta>
 
47
    <refentrytitle>&CONFNAME;</refentrytitle>
 
48
    <manvolnum>5</manvolnum>
 
49
  </refmeta>
 
50
  
 
51
  <refnamediv>
 
52
    <refname><filename>&CONFNAME;</filename></refname>
 
53
    <refpurpose>
 
54
      Configuration file for the Mandos server
 
55
    </refpurpose>
 
56
  </refnamediv>
 
57
  
 
58
  <refsynopsisdiv>
 
59
    <synopsis>&CONFPATH;</synopsis>
 
60
  </refsynopsisdiv>
 
61
  
 
62
  <refsect1 id="description">
 
63
    <title>DESCRIPTION</title>
 
64
    <para>
 
65
      The file &CONFPATH; is a configuration file for <citerefentry
 
66
      ><refentrytitle>mandos</refentrytitle>
 
67
      <manvolnum>8</manvolnum></citerefentry>, read by it at startup.
 
68
      The file needs to list all clients that should be able to use
 
69
      the service.  The settings in this file can be overridden by
 
70
      runtime changes to the server, which it saves across restarts.
 
71
      (See the section called <quote>PERSISTENT STATE</quote> in
 
72
      <citerefentry><refentrytitle>mandos</refentrytitle><manvolnum
 
73
      >8</manvolnum></citerefentry>.)  However, any <emphasis
 
74
      >changes</emphasis> to this file (including adding and removing
 
75
      clients) will, at startup, override changes done during runtime.
 
76
    </para>
 
77
    <para>
 
78
      The format starts with a <literal>[<replaceable>section
 
79
      header</replaceable>]</literal> which is either
 
80
      <literal>[DEFAULT]</literal> or <literal>[<replaceable>client
 
81
      name</replaceable>]</literal>.  The <replaceable>client
 
82
      name</replaceable> can be anything, and is not tied to a host
 
83
      name.  Following the section header is any number of
 
84
      <quote><varname><replaceable>option</replaceable
 
85
      ></varname>=<replaceable>value</replaceable></quote> entries,
 
86
      with continuations in the style of RFC 822.  <quote><varname
 
87
      ><replaceable>option</replaceable></varname>: <replaceable
 
88
      >value</replaceable></quote> is also accepted.  Note that
 
89
      leading whitespace is removed from values.  Values can contain
 
90
      format strings which refer to other values in the same section,
 
91
      or values in the <quote>DEFAULT</quote> section (see <xref
 
92
      linkend="expansion"/>).  Lines beginning with <quote>#</quote>
 
93
      or <quote>;</quote> are ignored and may be used to provide
 
94
      comments.
 
95
    </para>
 
96
  </refsect1>
 
97
  
 
98
  <refsect1 id="options">
 
99
    <title>OPTIONS</title>
 
100
    <para>
 
101
      <emphasis>Note:</emphasis> all option values are subject to
 
102
      start time expansion, see <xref linkend="expansion"/>.
 
103
    </para>
 
104
    <para>
 
105
      Unknown options are ignored.  The used options are as follows:
 
106
    </para>
 
107
    
 
108
    <variablelist>
 
109
      
 
110
      <varlistentry>
 
111
        <term><option>approval_delay<literal> = </literal><replaceable
 
112
        >TIME</replaceable></option></term>
 
113
        <listitem>
 
114
          <para>
 
115
            This option is <emphasis>optional</emphasis>.
 
116
          </para>
 
117
          <para>
 
118
            How long to wait for external approval before resorting to
 
119
            use the <option>approved_by_default</option> value.  The
 
120
            default is <quote>PT0S</quote>, i.e. not to wait.
 
121
          </para>
 
122
          <para>
 
123
            The format of <replaceable>TIME</replaceable> is the same
 
124
            as for <varname>timeout</varname> below.
 
125
          </para>
 
126
        </listitem>
 
127
      </varlistentry>
 
128
      
 
129
      <varlistentry>
 
130
        <term><option>approval_duration<literal> = </literal
 
131
        ><replaceable>TIME</replaceable></option></term>
 
132
        <listitem>
 
133
          <para>
 
134
            This option is <emphasis>optional</emphasis>.
 
135
          </para>
 
136
          <para>
 
137
            How long an external approval lasts.  The default is 1
 
138
            second.
 
139
          </para>
 
140
          <para>
 
141
            The format of <replaceable>TIME</replaceable> is the same
 
142
            as for <varname>timeout</varname> below.
 
143
          </para>
 
144
        </listitem>
 
145
      </varlistentry>
 
146
      
 
147
      <varlistentry>
 
148
        <term><option>approved_by_default<literal> = </literal
 
149
          >{ <literal >1</literal> | <literal>yes</literal> | <literal
 
150
          >true</literal> | <literal>on</literal> | <literal
 
151
          >0</literal> | <literal>no</literal> | <literal
 
152
          >false</literal> | <literal>off</literal> }</option></term>
 
153
        <listitem>
 
154
          <para>
 
155
            Whether to approve a client by default after
 
156
            the <option>approval_delay</option>.  The default
 
157
            is <quote>True</quote>.
 
158
          </para>
 
159
        </listitem>
 
160
      </varlistentry>
 
161
      
 
162
      <varlistentry>
 
163
        <term><option>checker<literal> = </literal><replaceable
 
164
        >COMMAND</replaceable></option></term>
 
165
        <listitem>
 
166
          <para>
 
167
            This option is <emphasis>optional</emphasis>.
 
168
          </para>
 
169
          <para>
 
170
            This option overrides the default shell command that the
 
171
            server will use to check if the client is still up.  Any
 
172
            output of the command will be ignored, only the exit code
 
173
            is checked:  If the exit code of the command is zero, the
 
174
            client is considered up.  The command will be run using
 
175
            <quote><command><filename>/bin/sh</filename>
 
176
            <option>-c</option></command></quote>, so
 
177
            <varname>PATH</varname> will be searched.  The default
 
178
            value for the checker command is <quote><literal
 
179
            ><command>fping</command> <option>-q</option> <option
 
180
            >--</option> %%(host)s</literal></quote>.
 
181
          </para>
 
182
          <para>
 
183
            In addition to normal start time expansion, this option
 
184
            will also be subject to runtime expansion; see <xref
 
185
            linkend="expansion"/>.
 
186
          </para>
 
187
        </listitem>
 
188
      </varlistentry>
 
189
      
 
190
      <varlistentry>
 
191
        <term><option>extended_timeout<literal> = </literal><replaceable
 
192
        >TIME</replaceable></option></term>
 
193
        <listitem>
 
194
          <para>
 
195
            This option is <emphasis>optional</emphasis>.
 
196
          </para>
 
197
          <para>
 
198
            Extended timeout is an added timeout that is given once
 
199
            after a password has been sent successfully to a client.
 
200
            The timeout is by default longer than the normal timeout,
 
201
            and is used for handling the extra long downtime while a
 
202
            machine is booting up.  Time to take into consideration
 
203
            when changing this value is file system checks and quota
 
204
            checks.  The default value is 15 minutes.
 
205
          </para>
 
206
          <para>
 
207
            The format of <replaceable>TIME</replaceable> is the same
 
208
            as for <varname>timeout</varname> below.
 
209
          </para>
 
210
        </listitem>
 
211
      </varlistentry>
 
212
      
 
213
      <varlistentry>
 
214
        <term><option>fingerprint<literal> = </literal
 
215
        ><replaceable>HEXSTRING</replaceable></option></term>
 
216
        <listitem>
 
217
          <para>
 
218
            This option is <emphasis>required</emphasis>.
 
219
          </para>
 
220
          <para>
 
221
            This option sets the OpenPGP fingerprint that identifies
 
222
            the public key that clients authenticate themselves with
 
223
            through TLS.  The string needs to be in hexidecimal form,
 
224
            but spaces or upper/lower case are not significant.
 
225
          </para>
 
226
        </listitem>
 
227
      </varlistentry>
 
228
      
 
229
      <varlistentry>
 
230
        <term><option><literal>host = </literal><replaceable
 
231
        >STRING</replaceable></option></term>
 
232
        <listitem>
 
233
          <para>
 
234
            This option is <emphasis>optional</emphasis>, but highly
 
235
            <emphasis>recommended</emphasis> unless the
 
236
            <option>checker</option> option is modified to a
 
237
            non-standard value without <quote>%%(host)s</quote> in it.
 
238
          </para>
 
239
          <para>
 
240
            Host name for this client.  This is not used by the server
 
241
            directly, but can be, and is by default, used by the
 
242
            checker.  See the <option>checker</option> option.
 
243
          </para>
 
244
        </listitem>
 
245
      </varlistentry>
 
246
      
 
247
      <varlistentry>
 
248
        <term><option>interval<literal> = </literal><replaceable
 
249
        >TIME</replaceable></option></term>
 
250
        <listitem>
 
251
          <para>
 
252
            This option is <emphasis>optional</emphasis>.
 
253
          </para>
 
254
          <para>
 
255
            How often to run the checker to confirm that a client is
 
256
            still up.  <emphasis>Note:</emphasis> a new checker will
 
257
            not be started if an old one is still running.  The server
 
258
            will wait for a checker to complete until the below
 
259
            <quote><varname>timeout</varname></quote> occurs, at which
 
260
            time the client will be disabled, and any running checker
 
261
            killed.  The default interval is 2 minutes.
 
262
          </para>
 
263
          <para>
 
264
            The format of <replaceable>TIME</replaceable> is the same
 
265
            as for <varname>timeout</varname> below.
 
266
          </para>
 
267
        </listitem>
 
268
      </varlistentry>
 
269
      
 
270
      <varlistentry>
 
271
        <term><option>secfile<literal> = </literal><replaceable
 
272
        >FILENAME</replaceable></option></term>
 
273
        <listitem>
 
274
          <para>
 
275
            This option is only used if <option>secret</option> is not
 
276
            specified, in which case this option is
 
277
            <emphasis>required</emphasis>.
 
278
          </para>
 
279
          <para>
 
280
            Similar to the <option>secret</option>, except the secret
 
281
            data is in an external file.  The contents of the file
 
282
            should <emphasis>not</emphasis> be base64-encoded, but
 
283
            will be sent to clients verbatim.
 
284
          </para>
 
285
          <para>
 
286
            File names of the form <filename>~user/foo/bar</filename>
 
287
            and <filename>$<envar>ENVVAR</envar>/foo/bar</filename>
 
288
            are supported.
 
289
          </para>
 
290
        </listitem>
 
291
      </varlistentry>
 
292
      
 
293
      <varlistentry>
 
294
        <term><option>secret<literal> = </literal><replaceable
 
295
        >BASE64_ENCODED_DATA</replaceable></option></term>
 
296
        <listitem>
 
297
          <para>
 
298
            If this option is not specified, the <option
 
299
            >secfile</option> option is <emphasis>required</emphasis>
 
300
            to be present.
 
301
          </para>
 
302
          <para>
 
303
            If present, this option must be set to a string of
 
304
            base64-encoded binary data.  It will be decoded and sent
 
305
            to the client matching the above
 
306
            <option>fingerprint</option>.  This should, of course, be
 
307
            OpenPGP encrypted data, decryptable only by the client.
 
308
            The program <citerefentry><refentrytitle><command
 
309
            >mandos-keygen</command></refentrytitle><manvolnum
 
310
            >8</manvolnum></citerefentry> can, using its
 
311
            <option>--password</option> option, be used to generate
 
312
            this, if desired.
 
313
          </para>
 
314
          <para>
 
315
            Note: this value of this option will probably be very
 
316
            long.  A useful feature to avoid having unreadably-long
 
317
            lines is that a line beginning with white space adds to
 
318
            the value of the previous line, RFC 822-style.
 
319
          </para>
 
320
        </listitem>
 
321
      </varlistentry>
 
322
      
 
323
      <varlistentry>
 
324
        <term><option>timeout<literal> = </literal><replaceable
 
325
        >TIME</replaceable></option></term>
 
326
        <listitem>
 
327
          <para>
 
328
            This option is <emphasis>optional</emphasis>.
 
329
          </para>
 
330
          <para>
 
331
            The timeout is how long the server will wait, after a
 
332
            successful checker run, until a client is disabled and not
 
333
            allowed to get the data this server holds.  By default
 
334
            Mandos will use 5 minutes.  See also the
 
335
            <option>extended_timeout</option> option.
 
336
          </para>
 
337
          <para>
 
338
            The <replaceable>TIME</replaceable> is specified as an RFC
 
339
            3339 duration; for example
 
340
            <quote><literal>P1Y2M3DT4H5M6S</literal></quote> meaning
 
341
            one year, two months, three days, four hours, five
 
342
            minutes, and six seconds.  Some values can be omitted, see
 
343
            RFC 3339 Appendix A for details.
 
344
          </para>
 
345
        </listitem>
 
346
      </varlistentry>
 
347
      
 
348
      <varlistentry>
 
349
        <term><option>enabled<literal> = </literal>{ <literal
 
350
        >1</literal> | <literal>yes</literal> | <literal>true</literal
 
351
        > | <literal >on</literal> | <literal>0</literal> | <literal
 
352
        >no</literal> | <literal>false</literal> | <literal
 
353
        >off</literal> }</option></term>
 
354
        <listitem>
 
355
          <para>
 
356
            Whether this client should be enabled by default.  The
 
357
            default is <quote>true</quote>.
 
358
          </para>
 
359
        </listitem>
 
360
      </varlistentry>
 
361
      
 
362
    </variablelist>
 
363
  </refsect1>
 
364
  
 
365
  <refsect1 id="expansion">
 
366
    <title>EXPANSION</title>
 
367
    <para>
 
368
      There are two forms of expansion: Start time expansion and
 
369
      runtime expansion.
 
370
    </para>
 
371
    <refsect2 id="start_time_expansion">
 
372
      <title>START TIME EXPANSION</title>
 
373
      <para>
 
374
        Any string in an option value of the form
 
375
        <quote><literal>%(<replaceable>foo</replaceable>)s</literal
 
376
        ></quote> will be replaced by the value of the option
 
377
        <varname>foo</varname> either in the same section, or, if it
 
378
        does not exist there, the <literal>[DEFAULT]</literal>
 
379
        section.  This is done at start time, when the configuration
 
380
        file is read.
 
381
      </para>
 
382
      <para>
 
383
        Note that this means that, in order to include an actual
 
384
        percent character (<quote>%</quote>) in an option value, two
 
385
        percent characters in a row (<quote>%%</quote>) must be
 
386
        entered.
 
387
      </para>
 
388
    </refsect2>
 
389
    <refsect2 id="runtime_expansion">
 
390
      <title>RUNTIME EXPANSION</title>
 
391
      <para>
 
392
        This is currently only done for the <varname>checker</varname>
 
393
        option.
 
394
      </para>
 
395
      <para>
 
396
        Any string in an option value of the form
 
397
        <quote><literal>%%(<replaceable>foo</replaceable>)s</literal
 
398
        ></quote> will be replaced by the value of the attribute
 
399
        <varname>foo</varname> of the internal
 
400
        <quote><classname>Client</classname></quote> object in the
 
401
        Mandos server.  The currently allowed values for
 
402
        <replaceable>foo</replaceable> are:
 
403
        <quote><literal>approval_delay</literal></quote>,
 
404
        <quote><literal>approval_duration</literal></quote>,
 
405
        <quote><literal>created</literal></quote>,
 
406
        <quote><literal>enabled</literal></quote>,
 
407
        <quote><literal>expires</literal></quote>,
 
408
        <quote><literal>fingerprint</literal></quote>,
 
409
        <quote><literal>host</literal></quote>,
 
410
        <quote><literal>interval</literal></quote>,
 
411
        <quote><literal>last_approval_request</literal></quote>,
 
412
        <quote><literal>last_checked_ok</literal></quote>,
 
413
        <quote><literal>last_enabled</literal></quote>,
 
414
        <quote><literal>name</literal></quote>,
 
415
        <quote><literal>timeout</literal></quote>, and, if using
 
416
        D-Bus, <quote><literal>dbus_object_path</literal></quote>.
 
417
        See the source code for details.  <emphasis role="strong"
 
418
        >Currently, <emphasis>none</emphasis> of these attributes
 
419
        except <quote><literal>host</literal></quote> are guaranteed
 
420
        to be valid in future versions.</emphasis> Therefore, please
 
421
        let the authors know of any attributes that are useful so they
 
422
        may be preserved to any new versions of this software.
 
423
      </para>
 
424
      <para>
 
425
        Note that this means that, in order to include an actual
 
426
        percent character (<quote>%</quote>) in a
 
427
        <varname>checker</varname> option, <emphasis>four</emphasis>
 
428
        percent characters in a row (<quote>%%%%</quote>) must be
 
429
        entered.  Also, a bad format here will lead to an immediate
 
430
        but <emphasis>silent</emphasis> run-time fatal exit; debug
 
431
        mode is needed to expose an error of this kind.
 
432
      </para>
 
433
    </refsect2>
 
434
    
 
435
  </refsect1>
 
436
  
 
437
  <refsect1 id="files">
 
438
    <title>FILES</title>
 
439
    <para>
 
440
      The file described here is &CONFPATH;
 
441
    </para>
 
442
  </refsect1>
 
443
  
 
444
  <refsect1 id="bugs">
 
445
    <title>BUGS</title>
 
446
    <para>
 
447
      The format for specifying times for <varname>timeout</varname>
 
448
      and <varname>interval</varname> is not very good.
 
449
    </para>
 
450
    <para>
 
451
      The difference between
 
452
      <literal>%%(<replaceable>foo</replaceable>)s</literal> and
 
453
      <literal>%(<replaceable>foo</replaceable>)s</literal> is
 
454
      obscure.
 
455
    </para>
 
456
  </refsect1>
 
457
  
 
458
  <refsect1 id="example">
 
459
    <title>EXAMPLE</title>
 
460
    <informalexample>
 
461
      <programlisting>
 
462
[DEFAULT]
 
463
timeout = PT5M
 
464
interval = PT2M
 
465
checker = fping -q -- %%(host)s
 
466
 
 
467
# Client "foo"
 
468
[foo]
 
469
fingerprint =  7788 2722 5BA7 DE53 9C5A  7CFA 59CF F7CD BD9A 5920
 
470
secret =
 
471
        hQIOA6QdEjBs2L/HEAf/TCyrDe5Xnm9esa+Pb/vWF9CUqfn4srzVgSu234
 
472
        REJMVv7lBSrPE2132Lmd2gqF1HeLKDJRSVxJpt6xoWOChGHg+TMyXDxK+N
 
473
        Xl89vGvdU1XfhKkVm9MDLOgT5ECDPysDGHFPDhqHOSu3Kaw2DWMV/iH9vz
 
474
        3Z20erVNbdcvyBnuojcoWO/6yfB5EQO0BXp7kcyy00USA3CjD5FGZdoQGI
 
475
        Tb8A/ar0tVA5crSQmaSotm6KmNLhrFnZ5BxX+TiE+eTUTqSloWRY6VAvqW
 
476
        QHC7OASxK5E6RXPBuFH5IohUA2Qbk5AHt99pYvsIPX88j2rWauOokoiKZo
 
477
        t/9leJ8VxO5l3wf/U64IH8bkPIoWmWZfd/nqh4uwGNbCgKMyT+AnvH7kMJ
 
478
        3i7DivfWl2mKLV0PyPHUNva0VQxX6yYjcOhj1R6fCr/at8/NSLe2OhLchz
 
479
        dC+Ls9h+kvJXgF8Sisv+Wk/1RadPLFmraRlqvJwt6Ww21LpiXqXHV2mIgq
 
480
        WnR98YgSvUi3TJHrUQiNc9YyBzuRo0AjgG2C9qiE3FM+Y28+iQ/sR3+bFs
 
481
        zYuZKVTObqiIslwXu7imO0cvvFRgJF/6u3HNFQ4LUTGhiM3FQmC6NNlF3/
 
482
        vJM2hwRDMcJqDd54Twx90Wh+tYz0z7QMsK4ANXWHHWHR0JchnLWmenzbtW
 
483
        5MHdW9AYsNJZAQSOpirE4Xi31CSlWAi9KV+cUCmWF5zOFy1x23P6PjdaRm
 
484
        4T2zw4dxS5NswXWU0sVEXxjs6PYxuIiCTL7vdpx8QjBkrPWDrAbcMyBr2O
 
485
        QlnHIvPzEArRQLo=
 
486
host = foo.example.org
 
487
interval = PT1M
 
488
 
 
489
# Client "bar"
 
490
[bar]
 
491
fingerprint = 3e393aeaefb84c7e89e2f547b3a107558fca3a27
 
492
secfile = /etc/mandos/bar-secret
 
493
timeout = PT15M
 
494
approved_by_default = False
 
495
approval_delay = PT30S
 
496
      </programlisting>
 
497
    </informalexample>
 
498
  </refsect1>
 
499
  
 
500
  <refsect1 id="see_also">
 
501
    <title>SEE ALSO</title>
 
502
    <para>
 
503
      <citerefentry><refentrytitle>intro</refentrytitle>
 
504
      <manvolnum>8mandos</manvolnum></citerefentry>,
 
505
      <citerefentry><refentrytitle>mandos-keygen</refentrytitle>
 
506
      <manvolnum>8</manvolnum></citerefentry>,
 
507
      <citerefentry><refentrytitle>mandos.conf</refentrytitle>
 
508
      <manvolnum>5</manvolnum></citerefentry>,
 
509
      <citerefentry><refentrytitle>mandos</refentrytitle>
 
510
      <manvolnum>8</manvolnum></citerefentry>,
 
511
      <citerefentry><refentrytitle>fping</refentrytitle>
 
512
      <manvolnum>8</manvolnum></citerefentry>
 
513
    </para>
 
514
    <variablelist>
 
515
      <varlistentry>
 
516
        <term>
 
517
          RFC 3339: <citetitle>Date and Time on the Internet:
 
518
          Timestamps</citetitle>
 
519
        </term>
 
520
      <listitem>
 
521
        <para>
 
522
          The time intervals are in the "duration" format, as
 
523
          specified in ABNF in Appendix A of RFC 3339.
 
524
        </para>
 
525
      </listitem>
 
526
      </varlistentry>
 
527
    </variablelist>
 
528
  </refsect1>
 
529
</refentry>
 
530
<!-- Local Variables: -->
 
531
<!-- time-stamp-start: "<!ENTITY TIMESTAMP [\"']" -->
 
532
<!-- time-stamp-end: "[\"']>" -->
 
533
<!-- time-stamp-format: "%:y-%02m-%02d" -->
 
534
<!-- End: -->