Add proxy from env.

[wh7f]

In mainland China, people usually need to access the international internet through a proxy.
Otherwise, they may encounter connection errors.
For example: error trying to connect: tcp connect error: Connection timed out (os error 110)

So it's necessary to support obtaining proxy configurations from environment variables to facilitate the use by users in mainland China.

[jtsai-quid]

hi @Narsil ,
In our cluster, a proxy is essential for accessing the public network.
We came across this issue while upgrading TGI to 1.1.0, which resulted in the tokenizer being unable to load through the proxy.(see here and here)
Would you please have a look at this PR?
Many thanks

[Narsil]

LGTM.

[jtsai-quid]

hi @Narsil,
When is the expected release date for the next version to come with this patch?
Many thanks

[dimakuv]

When is the expected release date for the next version to come with this patch?

I also encountered this issue. Would like to bump the priority of releasing a new version with this patch.

[kerthcet]

Kindly ping @Narsil have no idea about hf release schedule, but seems we haven't cut a new one for a long time, maybe worths a new release? We also meet this problem and solved it by enable the proxy-from-env feature of ureq, which will enable the proxy underground.