On Sunday, November 13, 2011 9:16 AM, "Konstantin Kolinko" <knst.koli...@gmail.com> wrote: > 2011/11/13 Daniel Shahaf <d...@daniel.shahaf.name>: > > Konstantin Kolinko wrote on Sun, Nov 13, 2011 at 01:44:21 +0400: > >> 2011/11/13 Daniel Shahaf <d...@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. :-)
