Giacomo Tesio
71ea62eb5b
Some devices return useful info on specific file remove (eg #0/pid, #0/ppid...) so we need a tool to get such info. rm -e '#0/pid' '#0/ppid' #0/pid 65 #0/ppid 59 |
||
---|---|---|
.. | ||
include | ||
lib/plumb | ||
log | ||
src |