On Sunday, November 13, 2011 9:16 AM, "Konstantin Kolinko" <knst.kolinko_at_gmail.com> wrote:
> 2011/11/13 Daniel Shahaf <d.s_at_daniel.shahaf.name>:
> > Konstantin Kolinko wrote on Sun, Nov 13, 2011 at 01:44:21 +0400:
> >> 2011/11/13 Daniel Shahaf <d.s_at_daniel.shahaf.name>:
> >> > Konstantin Kolinko wrote on Sat, Nov 12, 2011 at 23:34:49 +0400:
> >> >> If you need http://foo/ to be sent to server bar, configure your DNS
> >> >> (e.g. by editing /etc/hosts) so that "foo" resolves to bar's IP
> >> >> address.
> >> >
> >> > No. I need the behaviour of that curl command, namely:
> >>
> >> You have to [...] and find a different approach.
> >
> > Actually, no. I know how this works and I need the behaviour I stated,
> > so I'd appreciate it if you stopped trying to convince me otherwise.
>
> The following plugin exists for Firefox:
> https://addons.mozilla.org/en-US/firefox/addon/modify-headers/
> Its documentation on author's site:
> http://www.garethhunt.com/modifyheaders/help/
Thanks for the pointer!
Following Brane's comment I had made a mental note to look for such a
plugin when I next would invoke the curl magic, but it appears you just
saved me the trip. :-)
Received on 2011-11-13 06:20:00 CET