3 ms·

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

• deleted 8mo ago
  [deleted]
• homebrewer 8mo 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 8mo ago
    Ah yeah, `/dev/fd/xxx` works :) somehow thought that was Linux only.
    • xantronix 8mo ago
      (Principal Skinner voice) Ah, it's a Bash expression!