Stream: new members
Topic: Trouble with leanproject
Chris Hughes (Oct 09 2020 at 11:45):
I'm having trouble using
leanproject. I get this error with
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 (Oct 09 2020 at 11:58):
Looks like your system's having an issue finding
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
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.
Alex Peattie (Oct 09 2020 at 12:01):
python3 -m pip install --upgrade --force-reinstall mathlibtools
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