/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 at bsnet
  • Date: 2010-08-11 20:06:18 UTC
  • mto: (237.2.182 mandos-local)
  • mto: This revision was merged to the branch mainline in revision 270.
  • Revision ID: teddy@fukt.bsnet.se-20100811200618-1uuv7p6cmrb2cmxu
* plugins.d/mandos-client.c: Added debug output.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
# This directory contains secret client key files.
 
2
#
 
3
mandos-client binary: non-standard-dir-perm etc/keys/mandos/ 0700 != 0755
 
4
 
 
5
# The directory /usr/lib/mandos/plugins.d contains setuid binaries
 
6
# which are not meant to be run outside an initial RAM disk
 
7
# environment (except for test purposes).  It would be insecure to
 
8
# allow anyone to run them.
 
9
#
 
10
mandos-client binary: non-standard-dir-perm usr/lib/mandos/plugins.d/ 0700 != 0755
 
11
 
 
12
# These binaries must be setuid root, since they need root powers, but
 
13
# are started by plugin-runner(8mandos), which runs all plugins as
 
14
# user/group "_mandos".  These binaries are not run in a running
 
15
# system, but in an initial RAM disk environment.  Here they are
 
16
# protected from non-root access by the directory permissions, above.
 
17
#
 
18
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/mandos-client 4755 root/root
 
19
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/askpass-fifo 4755 root/root
 
20
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/splashy 4755 root/root
 
21
mandos-client binary: setuid-binary usr/lib/mandos/plugins.d/usplash 4755 root/root
 
22
 
 
23
# The directory /etc/mandos/plugins.d can be used by local system
 
24
# administrators to place plugins in, overriding and complementing
 
25
# /usr/lib/mandos/plugins.d, and must be likewise protected.
 
26
#
 
27
mandos-client binary: non-standard-dir-perm etc/mandos/plugins.d/ 0700 != 0755