Merge pull request #1208 from consideRatio/pr/fix-pipfile-clear

pipfile: pass --clear flag, and do it separetely to not be ignored
pull/1048/merge
Min RK 2022-10-31 15:21:22 +01:00 zatwierdzone przez GitHub
commit f6ecb28e5e
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 2 dodań i 1 usunięć

Wyświetl plik

@ -154,7 +154,8 @@ class PipfileBuildPack(CondaBuildPack):
"${NB_USER}", "${NB_USER}",
"""(cd {working_directory} && \\ """(cd {working_directory} && \\
PATH="${{KERNEL_PYTHON_PREFIX}}/bin:$PATH" \\ PATH="${{KERNEL_PYTHON_PREFIX}}/bin:$PATH" \\
pipenv install {install_option} --system --dev \\ pipenv install {install_option} --system --dev && \\
pipenv --clear \\
)""".format( )""".format(
working_directory=working_directory, working_directory=working_directory,
install_option="--ignore-pipfile" install_option="--ignore-pipfile"