diff options
author | R Max Espinoza <me@rmax.io> | 2020-05-21 17:56:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-21 17:56:13 +0200 |
commit | 9050ed34d1f58e09012ed88db8bed1a0d7e74fb1 (patch) | |
tree | 497eaa0824c326055d3d35f2e362246af8f5c1db /plugins/pipenv/pipenv.plugin.zsh | |
parent | cfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92 (diff) | |
download | zsh-9050ed34d1f58e09012ed88db8bed1a0d7e74fb1.tar.gz zsh-9050ed34d1f58e09012ed88db8bed1a0d7e74fb1.tar.bz2 zsh-9050ed34d1f58e09012ed88db8bed1a0d7e74fb1.zip |
pipenv: fix error when Pipfile is not a file (#8931)
Diffstat (limited to 'plugins/pipenv/pipenv.plugin.zsh')
-rw-r--r-- | plugins/pipenv/pipenv.plugin.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/pipenv/pipenv.plugin.zsh b/plugins/pipenv/pipenv.plugin.zsh index ec41c3e02..e7a9e6b3c 100644 --- a/plugins/pipenv/pipenv.plugin.zsh +++ b/plugins/pipenv/pipenv.plugin.zsh @@ -7,7 +7,7 @@ compdef _pipenv pipenv # Automatic pipenv shell activation/deactivation _togglePipenvShell() { # deactivate shell if Pipfile doesn't exist and not in a subdir - if [[ ! -a "$PWD/Pipfile" ]]; then + if [[ ! -f "$PWD/Pipfile" ]]; then if [[ "$PIPENV_ACTIVE" == 1 ]]; then if [[ "$PWD" != "$pipfile_dir"* ]]; then exit @@ -17,7 +17,7 @@ _togglePipenvShell() { # activate the shell if Pipfile exists if [[ "$PIPENV_ACTIVE" != 1 ]]; then - if [[ -a "$PWD/Pipfile" ]]; then + if [[ -f "$PWD/Pipfile" ]]; then export pipfile_dir="$PWD" pipenv shell fi |