Значение по умолчанию [[source]] для Pipfile -
[[source]]
[[source]] url = "https://pypi.python.org/simple" verify_ssl = true name = "pypi"
Теперь я просто хочу изменить его на url = "https://pypi.doubanio.com/simple/", нужно ли мне менять имя одновременно?
url = "https://pypi.doubanio.com/simple/"
Если да, то каково правило имени? (или это нормально для меня - просто без этого "имени"?)
Спасибо
Проверьте эту страницу , раздел Указание индексов.
Имя - это поле, которое вы определяете произвольно и используете с ключом индекса, чтобы указать, откуда должен поступить пакет.