python location

Stream: general

[Leon Xie]

hi guys! what if i have python installed with anaconda? should i just reinstall python?

[Eric Wieser]

This is presumably regarding leanproject/mathlibtools? What operating system are you on?

[Leon Xie]

i'm on windows...ended up reinstalling python so it should be okay?

[Arthur Paulino]

But didn't it work with anaconda? I use miniconda and it works just fine (I use Ubuntu though)

[Yakov Pechersky]

The problem with anaconda on any system is that it's not always the case that the conda environment that has your library installed is the one that is on in whatever shell you're in

[Arthur Paulino]

Right. I have a line in my .bashrc file that says conda activate exp. So my terminal sessions are always using that environment by default

[Yakov Pechersky]

Right, so if another user didn't rig up their setup to do that, or didn't source properly, then it would make sense that they thought leanproject would work and it didn't.

[Arthur Paulino]

It's true but it would probably work if they installed mathlibtools on anaconda's default environment base.

Btw, I think we're missing guidance on the setup page for users that already have an environment management tool installed. The fact that Leon felt the need to get rid of anaconda (which is more potent and sometimes safer) altogether was a bit unfortunate