From 9050ed34d1f58e09012ed88db8bed1a0d7e74fb1 Mon Sep 17 00:00:00 2001
From: R Max Espinoza <me@rmax.io>
Date: Thu, 21 May 2020 17:56:13 +0200
Subject: [PATCH] pipenv: fix error when Pipfile is not a file (#8931)

---
 plugins/pipenv/pipenv.plugin.zsh | 4 ++--
 1 file 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