diff options
author | Ryan Greenblatt <greenblattryan@gmail.com> | 2019-06-09 18:02:08 -0400 |
---|---|---|
committer | Marc Cornellà <marc.cornella@live.com> | 2019-06-10 00:02:08 +0200 |
commit | d0b29ff0b3544f6f52fa763d224a91b7b0a08ac2 (patch) | |
tree | 3306819fd325ba40e7883d6b06aa6b5f00dcc425 /plugins/pip | |
parent | 702a594df3b49f40496e4840cae2d93c83d5bc4d (diff) | |
download | zsh-d0b29ff0b3544f6f52fa763d224a91b7b0a08ac2.tar.gz zsh-d0b29ff0b3544f6f52fa763d224a91b7b0a08ac2.tar.bz2 zsh-d0b29ff0b3544f6f52fa763d224a91b7b0a08ac2.zip |
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`).
Diffstat (limited to 'plugins/pip')
-rw-r--r-- | plugins/pip/pip.plugin.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/pip/pip.plugin.zsh b/plugins/pip/pip.plugin.zsh index 5539187e1..aaae90185 100644 --- a/plugins/pip/pip.plugin.zsh +++ b/plugins/pip/pip.plugin.zsh @@ -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 | \ |