I want to install pytorch v1.2 from source on my server, which got v1.1 through pip install pytorch_v1.1.whl already.
How should I manager that multiple version of pytorch? And how to switch between them?