Would be nice if `curl` had something to dump headers to a third file descriptor while outputting the response on stdout.
This should work?
curl --dump-header /dev/fd/xxx https://google.com
mkfifo headers.out curl --dump-header headers.out https://google.com
alt Hacker News
This should work?
or unless I'm misunderstanding you.