Allow to override UserAgent

[spk]

Hello,

Adding on command line the user agent add a duplicate header:

./w3m -header "User-Agent: Mozilla" http://localhost:9999

GET / HTTP/1.0
User-Agent: w3m/0.5.3+git20190105
Accept: text/html, text/*;q=0.5, image/*, application/*, message/*, x-scheme-handler/*, audio/*, video/*, inode/*
Accept-Encoding: gzip, compress, bzip, bzip2, deflate
Accept-Language: en;q=1.0
Host: localhost:9999
User-Agent: Mozilla

As a result most server will take the first given; the default
w3m_version or the one defined on config user_agent

With this patch we can now override User-Agent from command line

Cheers,
Laurent

[tats]

w3m_version or the one defined on config user_agent
With this patch we can now override User-Agent from command line

The config value can be set by -o from command line,
e.g. w3m -o user_agent=Mozilla.

[spk]

The config value can be set by -o from command line,
e.g. w3m -o user_agent=Mozilla.

Cool thanks for the info, but don't you find its a strange behavior ? I've checked with curl that have the same config/header options and you can override the user agent with:

curl --header "User-Agent: w3m" localhost:9999

GET / HTTP/1.1
Host: localhost:9999
Accept: */*
Referer:
User-Agent: w3m

[tats]

Anyway, preventing User-Agent twice is reasonable.

Merged, thank you.