title: How to remove a pipenv's PipFile, PipFile.lock and associated virtualenv?
body: <p>To create a <code>pipenv</code> for a python project, I first created a project folder and go into the folder to instruct <code>pipenv</code> to create the <code>Pipfile</code>, <code>Pipfile.lock</code> and associated virtual environment like so:</p>
  
  <pre><code>$ mkdir Project
  $ cd Project
  $ pipenv --three
  Creating a virtualenv for this project…
  Using /usr/bin/python3 (3.5.2) to create virtualenv…
  ⠋Already using interpreter /usr/bin/python3
  Using base prefix '/usr'
  New python executable in ~/.local/share/virtualenvs/Projects-jrsJaPdI/bin/python3
  Also creating executable in ~/.local/share/virtualenvs/Projects-jrsJaPdI/bin/python
  Installing setuptools, pip, wheel...done.
  
  Virtualenv location: ~/.local/share/virtualenvs/Projects-jrsJaPdI
  Creating a Pipfile for this project…
  $
  $ pipenv install --dev
  Pipfile.lock not found, creating…
  Locking [dev-packages] dependencies…
  Locking [packages] dependencies…
  Updated Pipfile.lock (711973)!
  Installing dependencies from Pipfile.lock (711973)…
       ▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉▉ 0/0 — 00:00:00
  To activate this project's virtualenv, run the following:
   $ pipenv shell
  </code></pre>
  
  <p>Is the proper way of removing all that <code>pipenv</code> had create simply doing the following in the Project directory when not in <code>pipenv shell</code> mode:</p>
  
  <pre><code>$ pipenv --rm
  $ rm Pipfil*
  </code></pre>
  
  <p>Meaning I have to remove the Project folder's virtual environment first followed by removing the <code>Pipfile</code> and <code>Pipfile.lock</code> subsequently?</p>