change gem user agent

[A708387 A708387]

How do I change the gem user agent? We are behind a proxy server which
does not allow the gem user agent.

I checked /usr/lib/ruby/1.8/rubygems/ on Ubuntu.

Thanks.

 

[Jonathan Nielsen]

[Note: parts of this message were removed to make it a legal post.]

It's in
/usr/lib/ruby/gems/1.8/gems/rubygems-update-1.3.7/lib/rubygems/remote_fetcher.rb
lines 316-319 on my rubygems 1.3.7. Normally I wouldn't suggest changing
it in the files directly but I don't see a convenient way to get around it.

-Jonathan Nielsen