diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-07 05:30:17 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-07 05:30:17 +0000 |
| commit | 40ed82f0722a9d4bfcc598c6a9e0123ccf0ca8f4 (patch) | |
| tree | 9192c8f3cb8f7c00a279fdfb34e2516de40c8e1f /debian/apparmor/usr.bin.man | |
| parent | Adding debian version 2.8.5-2. (diff) | |
| download | man-db-40ed82f0722a9d4bfcc598c6a9e0123ccf0ca8f4.tar.xz man-db-40ed82f0722a9d4bfcc598c6a9e0123ccf0ca8f4.zip | |
Adding debian version 2.8.5-2+deb10u1.debian/2.8.5-2+deb10u1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/apparmor/usr.bin.man | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/apparmor/usr.bin.man b/debian/apparmor/usr.bin.man index 569aec9..145ed58 100644 --- a/debian/apparmor/usr.bin.man +++ b/debian/apparmor/usr.bin.man @@ -95,6 +95,9 @@ profile man_filter { # do is feed data to the invoking man process. /** r, + # Allow writing cat pages. + /var/cache/man/** w, + signal peer=/usr/bin/man, # @{profile_name} doesn't seem to work here. signal peer=/usr/bin/man//&man_filter, |