undefined | Better HN

0 pointsmr_mitm2y ago0 comments

How could curl detect where it's piped to?

0 comments

3 comments · 2 top-level

take-five2y ago· 1 in thread

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