/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: 2024-09-09 02:51:47 UTC
  • mto: This revision was merged to the branch mainline in revision 410.
  • Revision ID: teddy@recompile.se-20240909025147-0o7tx2njlr8hujgw
Change to new lintian override syntax

Lintian has changed its output for warnings, and as a result, its
syntax for overriding those warnings has also changed.  (See Debian
bug #1007002 for further information.)  Therefore, change the syntax
in the lintian override files.

* debian/mandos-client.lintian-overrides: Change to new lintian
  "pointed hints" syntax.
* debian/mandos.lintian-overrides: - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
# This directory contains secret client key files.
2
 
mandos-client binary: non-standard-dir-perm etc/keys/mandos/ 0700 != 0755
 
2
mandos-client binary: non-standard-dir-perm 0700 != 0755 [etc/keys/mandos/]
3
3
 
4
4
# The directory /usr/lib/<arch>/mandos/plugins.d contains setuid
5
5
# binaries which are only meant to be run inside an initial RAM disk
6
6
# environment (except for test purposes).  It would be insecure to
7
7
# allow anyone to run them.
8
 
mandos-client binary: non-standard-dir-perm usr/lib/*/mandos/plugins.d/ 0700 != 0755
 
8
mandos-client binary: non-standard-dir-perm 0700 != 0755 [usr/lib/*/mandos/plugins.d/]
9
9
# Likewise for helper executables for plugins
10
 
mandos-client binary: non-standard-dir-perm usr/lib/*/mandos/plugin-helpers/ 0700 != 0755
 
10
mandos-client binary: non-standard-dir-perm 0700 != 0755 [usr/lib/*/mandos/plugin-helpers/]
11
11
 
12
12
# These binaries must be setuid root, since they need root powers, but
13
13
# are started by plugin-runner(8mandos), which runs all plugins as
14
14
# user/group "_mandos".  These binaries are never run in a running
15
15
# system, but only in an initial RAM disk environment.  Here they are
16
16
# protected from non-root access by the directory permissions, above.
17
 
mandos-client binary: elevated-privileges usr/lib/*/mandos/plugins.d/mandos-client 4755 root/root
18
 
mandos-client binary: elevated-privileges usr/lib/*/mandos/plugins.d/askpass-fifo 4755 root/root
19
 
mandos-client binary: elevated-privileges usr/lib/*/mandos/plugins.d/splashy 4755 root/root
20
 
mandos-client binary: elevated-privileges usr/lib/*/mandos/plugins.d/usplash 4755 root/root
21
 
mandos-client binary: elevated-privileges usr/lib/*/mandos/plugins.d/plymouth 4755 root/root
 
17
mandos-client binary: elevated-privileges 4755 root/root [usr/lib/*/mandos/plugins.d/mandos-client]
 
18
mandos-client binary: elevated-privileges 4755 root/root [usr/lib/*/mandos/plugins.d/askpass-fifo]
 
19
mandos-client binary: elevated-privileges 4755 root/root [usr/lib/*/mandos/plugins.d/splashy]
 
20
mandos-client binary: elevated-privileges 4755 root/root [usr/lib/*/mandos/plugins.d/usplash]
 
21
mandos-client binary: elevated-privileges 4755 root/root [usr/lib/*/mandos/plugins.d/plymouth]
22
22
 
23
23
# The directory /etc/mandos/plugins.d can be used by local system
24
24
# administrators to place plugins in, overriding and complementing
25
25
# /usr/lib/<arch>/mandos/plugins.d, and must be likewise protected.
26
 
mandos-client binary: non-standard-dir-perm etc/mandos/plugins.d/ 0700 != 0755
 
26
mandos-client binary: non-standard-dir-perm 0700 != 0755 [etc/mandos/plugins.d/]
27
27
# Likewise for plugin-helpers directory
28
 
mandos-client binary: non-standard-dir-perm etc/mandos/plugin-helpers/ 0700 != 0755
 
28
mandos-client binary: non-standard-dir-perm 0700 != 0755 [etc/mandos/plugin-helpers/]
29
29
 
30
30
# The debconf templates is only used for displaying information
31
31
# detected in the postinst, not for saving answers to questions, so we