Ist es möglich, die User-Agent-Zeichenfolge für von Eclipse gestellte Anfragen zu ändern?
Nach einigen Experimenten mit curl glaube ich, dass bestimmte User Agents von unserem Firmen-Proxy bevorzugt werden (sie erhalten Zugriff auf mehr Sites).
Antwort1
Man kann Fiddler verwenden, um den User Agent für alle ausgehenden HTTP-Anfragen zu ändern. Dies ist zwar nicht ganz zufriedenstellend, aber ein brauchbarer Workaround.