summaryrefslogtreecommitdiff
path: root/plugins/pipenv/pipenv.plugin.zsh
diff options
context:
space:
mode:
authorR Max Espinoza <me@rmax.io>2020-05-21 17:56:13 +0200
committerGitHub <noreply@github.com>2020-05-21 17:56:13 +0200
commit9050ed34d1f58e09012ed88db8bed1a0d7e74fb1 (patch)
tree497eaa0824c326055d3d35f2e362246af8f5c1db /plugins/pipenv/pipenv.plugin.zsh
parentcfdd3c8dd87cd22281ec5d964ecb915bc9ad7e92 (diff)
downloadzsh-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.zsh4
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