undefined | Better HN

0 pointsmr_mitm1y ago0 comments

How could curl detect where it's piped to?

0 comments

Something like (in Python)

os.isatty(sys.stdout.fileno())

That doesn't say where it's piped though. It could be redirected to a file, or piped to something harmless like jq.

Iterate through /proc/<pid>/fd and check for the pipe id in the symlink target.

j / k navigate · click thread line to collapse

0 pointsmr_mitm1y ago0 comments

How could curl detect where it's piped to?

Something like (in Python)

os.isatty(sys.stdout.fileno())

That doesn't say where it's piped though. It could be redirected to a file, or piped to something harmless like jq.

Iterate through /proc/<pid>/fd and check for the pipe id in the symlink target.

j / k navigate · click thread line to collapse