diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
| commit | d3e64d6e1f905cd67264845c38b38fc6d1bdb088 (patch) | |
| tree | 52a303272ec29b520b7d9d1f0237290b1e38ab3d /bfs.1 | |
| parent | 43039c98eb6bc2514434fe3b33faa3eb32e75ba3 (diff) | |
| download | bfs-d3e64d6e1f905cd67264845c38b38fc6d1bdb088.tar.xz | |
Make -mount and -xdev do different things
POSIX now says -mount should skip the whole mount point, while -xdev
should only skip its descendents.
C.f. http://austingroupbugs.net/view.php?id=1133
C.f. https://savannah.gnu.org/bugs/?42318
C.f. https://savannah.gnu.org/bugs/?54745
Diffstat (limited to 'bfs.1')
| -rw-r--r-- | bfs.1 | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -244,13 +244,12 @@ detects that the file tree is modified during the search (default: Ignore files deeper/shallower than .IR N . .RE -.PP +.TP .B \-mount -.br +Skip mount points entirely. +.TP .B \-xdev -.RS Don't descend into other mount points. -.RE .TP .B \-noleaf Ignored; for compatibility with GNU find. |