[Aide] !/dev rule example

[Hannes von Haugwitz]

Hello,

On Wed, Dec 16, 2020 at 03:33:03PM -0300, Andreas Hasenack wrote:
> the aide.conf(5) manpage says:
> 
> 
>               !/dev
> 
>        This ignores the /dev directory structure.
> 
> 
> Won't that also ignore things like /devandreas-was-here/, /devel and
> anything that starts with the string "/dev", including files and other
> directories?

You are right, I fixed this in 2dda4fa[0].

> Similarly, but this is a debian packaging issue perhaps, there is a
> config file with this content:
> 
> !/proc
> !/sys

Please create a debian bug report for this[1].

Best regards

Hannes

[0] https://github.com/aide/aide/commit/2dda4fa756241e7265378b22d303415c15918e49
[1] https://bugs.debian.org/cgi-bin/pkgreport.cgi?package=aide