top | item 47177393

(no title)

stabbles | 4 days ago

Would be nice if `curl` had something to dump headers to a third file descriptor while outputting the response on stdout.

discuss

order

homebrewer|4 days ago

This should work?

  curl --dump-header /dev/fd/xxx https://google.com
or

  mkfifo headers.out
  curl --dump-header headers.out https://google.com
unless I'm misunderstanding you.

stabbles|4 days ago

Ah yeah, `/dev/fd/xxx` works :) somehow thought that was Linux only.