🔖 Feature description

At some points radis uses hapi to download data from hitran
however, there seems to be no option in radis to set the proxy server that hapi can manage

So I had to add the following lines in hitranapi.py:

import hapi
hapi.VARIABLES['PROXY'] = {'http': 'http://proxy.onera:80', 'https': 'https://proxy.onera:80'}
hapi.VARIABLES['DISPLAY_FETCH_URL'] = False

I have searched radis's issues in Github as well as the docs and I couldn't find any occurrence of the word "proxy".

What did I miss?

👉 Why you want this feature!!

I work behind a proxy.
Most common thing for people at work