Add new --type socket and --type pipe filters

closes #511
This commit is contained in:
sharkdp
2020-04-16 09:59:45 +02:00
committed by David Peter
parent 4287cddc00
commit cb56add1d8
7 changed files with 49 additions and 8 deletions
Vendored
+4
View File
@@ -129,6 +129,10 @@ symbolic links
executable (files)
.IP "e, empty"
empty files or directories
.IP "s, socket"
sockets
.IP "p, pipe"
named pipes (FIFOs)
.RE
.RS