Issue with /usr/home on (for example) FreeBSD?
- Add a path to skip
- select my home directory
- edit the tail of the path
- path to skip:
/usr/home/grahamperrin/.*
Expected
- skips.
Actual result
- not skipped, for example:
Workaround
Remove /usr
from the beginning of the path, so:
/home/grahamperrin/.*
– so far, this seems to have the required effect.
Context
% file /usr/home
/usr/home: directory
% file /home
/home: symbolic link to usr/home
% pkg info -x recoll
recoll-1.27.3_16
% uname -aKU
FreeBSD mowa219-gjp4-8570p-freebsd 14.0-CURRENT FreeBSD 14.0-CURRENT #113 main-n250242-eab5358b908: Mon Oct 25 05:40:35 BST 2021 root@mowa219-gjp4-8570p-freebsd:/usr/obj/usr/src/amd64.amd64/sys/GENERIC-NODEBUG amd64 1400039 1400039
%