Trouble with leanproject

Stream: new members

[Chris Hughes]

I'm having trouble using leanproject. I get this error with leanproject up

Chris-Hughes:single_relation chrishughes$ leanproject up
-bash: /usr/local/bin/leanproject: /usr/local/opt/python/bin/python3.7: bad interpreter: No such file or directory

Any experts on this sort of thing able to help?

[Alex Peattie]

Looks like your system's having an issue finding python3.7. Was leanproject working before? You haven't upgraded Python recently, or aren't using something like virtualenv by any chance?

One possible fix would be to try reinstalling mathlibtools

[Chris Hughes]

I've upgraded Python very recently, the latest version is 3.8. It was working a few months ago for sure.

[Alex Peattie]

Maybe try python3 -m pip install --upgrade --force-reinstall mathlibtools

[Chris Hughes]

That last line worked. Thank you so much. :tada: