> /dir/ and /dir have different meanings...

Thanks. I figured that might be the case. Same true for /dir/ vs.
/dir/** I presume.

But what about:

/video2/**/ r,
/video2/mythtv/1024_20090131200000.mpg r,
/video2/mythtv/1029_20090310173000.mpg r,

These seem redundant, unless that first rule should be /video2/**
without the trailing slash.

-- 
aa-logprof: doesn't remove redundant rules
https://bugs.launchpad.net/bugs/387663
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to