From 766c5d4a551e686c2c7c282574c6a290caf5e794 Mon Sep 17 00:00:00 2001 From: Jonathan Date: Sat, 3 Oct 2015 20:16:17 +0100 Subject: [PATCH] Sounds more gramatically correct --- docs/dev/env.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/dev/env.rst b/docs/dev/env.rst index ec8a803..ebe6e48 100644 --- a/docs/dev/env.rst +++ b/docs/dev/env.rst @@ -253,7 +253,7 @@ first, and uses the fake version, which in turn passes the command on to pyenv. pyenv then works out which version of Python should be run based on environment variables, ``.python-version`` files, and the global default. -pyenv isn't a tool for managing virtual environments, but there is a plugin +pyenv isn't a tool for managing virtual environments, but there is the plugin `pyenv-virtualenv `_ which automates the creation of different environments, and also makes it possible to use the existing pyenv tools to switch to different environments based on environment