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 hn newest 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. load replies (1) unknown|4 days ago [deleted]
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. load replies (1)
stabbles|4 days ago Ah yeah, `/dev/fd/xxx` works :) somehow thought that was Linux only. load replies (1)
homebrewer|4 days ago
stabbles|4 days ago
unknown|4 days ago
[deleted]