/mandos/release

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

« back to all changes in this revision

Viewing changes to debian/mandos-client.lintian-overrides

  • Committer: Teddy Hogeborn
  • Date: 2008-10-04 03:11:39 UTC
  • Revision ID: teddy@fukt.bsnet.se-20081004031139-llfxo3ac8kk4fs6b
* Makefile (DOCS): Added "plugins.d/usplash.8mandos" and
                   "plugins.d/splashy.8mandos".
  (install-client-nokey): Also install "plugins.d/usplash.8mandos" and
                          "plugins.d/splashy.8mandos".
  (uninstall-client): Also uninstall "plugins.d/usplash.8mandos" and
                      "plugins.d/splashy.8mandos".

* plugins.d/splashy.xml: New.

* plugins.d/usplash.xml: - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/mandos-client.lintian-overrides
 
1
# This example command line is long without spaces, but it must be
 
2
# that way; it's part of the point of showing it.
 
3
#
1
4
mandos-client binary: manpage-has-errors-from-man usr/share/man/man8/plugin-runner.8mandos.gz 297: warning [p 4, 5.8i]: can't break line
 
5
 
 
6
# This directory contains secret client key files.
 
7
#
2
8
mandos-client binary: non-standard-dir-perm etc/keys/mandos/ 0700 != 0755
 
9
 
 
10
# The directory /usr/lib/mandos/plugins.d contains setuid binaries
 
11
# which are not meant to be run outside an initial RAM disk
 
12
# environment (except for test purposes).  It would be insecure to
 
13
# allow anyone to run them.
 
14
#
 
15
mandos-client binary: non-standard-dir-perm usr/lib/mandos/plugins.d/ 0700 != 0755
 
16
 
 
17
# These binaries must be setuid root, since they need root powers, but
 
18
# are started by plugin-runner(8mandos), which runs all plugins as
 
19
# user/group "mandos".  These binaries are not run in a running
 
20
# system, but in an initial RAM disk environment.  Here they are
 
21
# protected from non-root access by the directory permissions, above.
 
22
#
3
23
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/mandos-client 4755 root/root
4
 
mandos-client binary: non-standard-dir-perm usr/lib/mandos/plugins.d/ 0700 != 0755
 
24
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/askpass-fifo 4755 root/root
 
25
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/splashy 4755 root/root
 
26
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/usplash 4755 root/root
 
27
 
 
28
# The directory /etc/mandos/plugins.d can be used by local system
 
29
# administrators to place plugins in, overriding and complementing
 
30
# /usr/lib/mandos/plugins.d, and must be likewise protected.
 
31
#
 
32
mandos-client binary: non-standard-dir-perm etc/mandos/plugins.d/ 0700 != 0755