mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2024-11-22 07:43:31 +01:00
pipenv: fix error when Pipfile is not a file (#8931)
This commit is contained in:
parent
cfdd3c8dd8
commit
9050ed34d1
@ -7,7 +7,7 @@ compdef _pipenv pipenv
|
|||||||
# Automatic pipenv shell activation/deactivation
|
# Automatic pipenv shell activation/deactivation
|
||||||
_togglePipenvShell() {
|
_togglePipenvShell() {
|
||||||
# deactivate shell if Pipfile doesn't exist and not in a subdir
|
# 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 [[ "$PIPENV_ACTIVE" == 1 ]]; then
|
||||||
if [[ "$PWD" != "$pipfile_dir"* ]]; then
|
if [[ "$PWD" != "$pipfile_dir"* ]]; then
|
||||||
exit
|
exit
|
||||||
@ -17,7 +17,7 @@ _togglePipenvShell() {
|
|||||||
|
|
||||||
# activate the shell if Pipfile exists
|
# activate the shell if Pipfile exists
|
||||||
if [[ "$PIPENV_ACTIVE" != 1 ]]; then
|
if [[ "$PIPENV_ACTIVE" != 1 ]]; then
|
||||||
if [[ -a "$PWD/Pipfile" ]]; then
|
if [[ -f "$PWD/Pipfile" ]]; then
|
||||||
export pipfile_dir="$PWD"
|
export pipfile_dir="$PWD"
|
||||||
pipenv shell
|
pipenv shell
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user