top | item 46467686 (no title) mlegendre | 1 month ago Or you can use `/dev/stdin`, which has the upside of not needing tool support.I somewhat regularly use this on Linux. I think it also works on OS X discuss order hn newest mlegendre|1 month ago And conversely, `/dev/stdout` (resp. `/dev/stderr`) is a convenient way to "redirect" output to stdout (resp stderr) instead of a file
mlegendre|1 month ago And conversely, `/dev/stdout` (resp. `/dev/stderr`) is a convenient way to "redirect" output to stdout (resp stderr) instead of a file
mlegendre|1 month ago