Zulip Chat Archive

Stream: new members

Topic: Trouble with leanproject


view this post on Zulip Chris Hughes (Oct 09 2020 at 11:45):

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?

view this post on Zulip Alex Peattie (Oct 09 2020 at 11:58):

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

view this post on Zulip Chris Hughes (Oct 09 2020 at 11:59):

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

view this post on Zulip Alex Peattie (Oct 09 2020 at 12:01):

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

view this post on Zulip Chris Hughes (Oct 09 2020 at 12:05):

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


Last updated: May 08 2021 at 03:17 UTC