pip: fix no such file or directory error (#7916)

Zsh may be configured such that ">>" will error if the file doesn't exist (`setopt noclobber`).
This commit is contained in:
Ryan Greenblatt 2019-06-09 18:02:08 -04:00 committed by Marc Cornellà
parent 702a594df3
commit d0b29ff0b3

View file

@ -29,6 +29,7 @@ zsh-pip-cache-packages() {
if [[ ! -f $ZSH_PIP_CACHE_FILE ]]; then
echo -n "(...caching package index...)"
tmp_cache=/tmp/zsh_tmp_cache
touch $tmp_cache
for index in $ZSH_PIP_INDEXES ; do
# well... I've already got two problems
curl -L $index 2>/dev/null | \