diff options
| author | Laurent Arnoud <laurent@spkdev.net> | 2019-04-21 19:47:38 +0000 |
|---|---|---|
| committer | Laurent Arnoud <laurent@spkdev.net> | 2019-04-21 19:47:52 +0000 |
| commit | b06d1f6a02dee2b26696b5f910877f0409b0266c (patch) | |
| tree | 23072d3586d26ec80327ebb66aeb3ffe28ec6b51 /po | |
| parent | Update ChangeLog (diff) | |
| download | w3m-b06d1f6a02dee2b26696b5f910877f0409b0266c.tar.gz w3m-b06d1f6a02dee2b26696b5f910877f0409b0266c.zip | |
Allow to override UserAgent
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
Pragma: no-cache
Cache-control: no-cache
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
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions