sourcegraph/srclib-python — pull request #11 by Carreau (2014-11-01 21:22:11+00:00)
Title: No need for sudo.

Remove sudo which is not needed, and actually prevent people to install things as non-root.

If really want to install as root, one can use `sudo ./src toolchain install-std`