[Aide] !/dev rule example

[Andreas Hasenack]

Hello,

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?

Similarly, but this is a debian packaging issue perhaps, there is a
config file with this content:

!/proc
!/sys

That seems to fall in the same trap, as that will also ignore
/procedure, /procure, /system/foo, etc, no?