curl-users
Feedback wanted: bold headers?
From: Daniel Stenberg <daniel_at_haxx.se>
Date: Sat, 28 Apr 2018 00:26:16 +0200 (CEST)
Date: Sat, 28 Apr 2018 00:26:16 +0200 (CEST)
Hi,
I've put together a little proof of concept PR that shows how curl can output
HTTP headers using bold font style for the name parts when the output is sent
to the terminal. Personally I think it helps making the headers easier to
read.
What do you think? Is this a good idea to forward on, should I polish it
further? Do we need cutomizable colors/styles? Do we risk any backlash if we
enable this styled output by default?
I presume we need an option to all users to explicitly turn it on/off, but I
haven't made any such yet.
The PR is here:
https://github.com/curl/curl/pull/2538
A sample screenshot is here:
https://daniel.haxx.se/media/bold-headers-terminal.png
-- / daniel.haxx.se ----------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users Etiquette: https://curl.haxx.se/mail/etiquette.htmlReceived on 2018-04-28