curl-users
Re: RE: Feedback wanted: bold headers?
Date: Mon, 30 Apr 2018 12:59:00 -0300
Just to say my opinion:* I really love the idea. *
I don't see the problem if you use a non-color by default, but have an
option to enable it. Color, bold.. Everything to make it easier is better.
Maybe we should only debate one thing: The bold/color will be enabled by
default or not?
You need to put it.
2018-04-30 8:50 GMT-03:00 Georg Horn <horn_at_koblenz-net.de>:
> Hello ,
>
> i personally always turn colors of. I hate it if i install a new
> linux system and the first ls -la turns the screen into an ocean of
> blinking colors... ;-)
>
> I personaly believe curl should concentrate on fetching URLs. The
> presentation or further processing of the fetched data should be left to
> the application that uses curl. Thats why i like this approach:
>
> > B="`tput bold`"
> > b="`tput sgr0`"
> > 2>&1 curl -v http://www.spamhaus.org/drop/dropv6.txt | \
> > sed -e"s/^< \([A-Z}[A-Za-z-]*:\)/< $B\1$b/" | less -R
>
> But thats just my personal opinion. If the feature is switchable and is
> preferably switched off by default i can live with it...
>
> Kind Regards,
> Georg
> -----------------------------------------------------------
> Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
> Etiquette: https://curl.haxx.se/mail/etiquette.html
>
-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Etiquette: https://curl.haxx.se/mail/etiquette.html
Received on 2018-04-30