Как использовать pipenv за прокси-сервером?
Старая ветка в github говорит нет (https://github.com/pypa/pipenv/issues/987). Я не нахожу что-то в документации (https://pipenv.kennethreitz.org/en/latest/).
В вашей пользовательской папке создайте папку pip, если она еще не существует, и создайте в ней файл pip.ini, содержащий
[global] trusted-host = pypi.python.org pypi.org files.pythonhosted.org proxy = <proxy:port>
Надеюсь, это поможет