[PUG] apt-get User-Agent angeben?
Hallo! Ein kleines Problem: $KUNDE läßt nur Browser über den Proxy, die Mozilla oder Netscape heißen, und deshalb funktioniert über diesen Proxy kein APT. Kann man apt-get irgendwie dazu bringen, einen anderen User-Agent-Header zu senden? -martin -- The day Microsoft makes something that doesn't suck, is probably the day they start making vacuum cleaners. PUG - Penguin User Group Wiesbaden - http://www.pug.org
Re: [PUG] apt-get User-Agent angeben?
Hallo Liste, Am Mit, 2003-07-30 um 14.51 schrieb Martin Schmitt: [...] Kann man apt-get irgendwie dazu bringen, einen anderen User-Agent-Header zu senden? Google sagt mir[1]: apt-rpm hat die Möglichkeit, in /etc/apt/apt.conf die Option 'Acquire::Http::User-Agent' zu setzen. Evtl. funktioniert das ja auch bei apt-get? Oder man sucht mal nach dem ursprünglichen Patch von Panu Matilainen und bastelt. Gruß, Dominique NOTES: [1] http://lists.freshrpms.net/pipermail/rpm-list/2003-April/003653.html -- [www.snooweatinganima.de] signature.asc Description: Dies ist ein digital signierter Nachrichtenteil
Re: [PUG] apt-get User-Agent angeben?
Hallo Dominique Kaspar, dear Dominique Kaspar, * [EMAIL PROTECTED] wrote/schrieb: Google sagt mir[1]: apt-rpm hat die Möglichkeit, in /etc/apt/apt.conf die Option 'Acquire::Http::User-Agent' zu setzen. Evtl. funktioniert das ja auch bei apt-get? Naja, Google sagt, daß jemand einen Patch für apt-rpm geschrieben hat, der das macht. Sonst nichts. Auf die Idee, dort zu suchen, war ich ja auch schon gekommen. :-) Oder man sucht mal nach dem ursprünglichen Patch von Panu Matilainen und bastelt. Naja, das geht auch einfacher. Wenn man es wirklich nicht konfigurieren kann, wird sich der String direkt im Source sicher ganz easy setzen lassen. -martin -- Die Finger weg, das ist bei manchen Fragen die einzig richtige, professionelle Haltung. - Harald Schmidt PUG - Penguin User Group Wiesbaden - http://www.pug.org
Re: [PUG] apt-get User-Agent angeben?
Am Mittwoch, 30. Juli 2003 15:25 schrieb Martin Schmitt: Hallo Dominique Kaspar, dear Dominique Kaspar, [...] Oder man sucht mal nach dem ursprünglichen Patch von Panu Matilainen und bastelt. Naja, das geht auch einfacher. Wenn man es wirklich nicht konfigurieren kann, wird sich der String direkt im Source sicher ganz easy setzen lassen. Schau mal in /etc/apt/apt-file.conf nach den Fetch-Methoden http = wget -N -O cache/dest uri/dists/dist/Contents-arch.gz || rm -f cache/dest; echo cdrom wget --user-agent=Whateveryouwant 9.0 sollte Deinen Job tun. Max PUG - Penguin User Group Wiesbaden - http://www.pug.org
Re: [PUG] apt-get User-Agent angeben?
Schau mal in /etc/apt/apt-file.conf nach den Fetch-Methoden Die Datei ist aber nicht für apt-get gültig sondern nur für apt-file. Gruss Tobi PUG - Penguin User Group Wiesbaden - http://www.pug.org