trouble with leanproject

Stream: general

[Bhavik Mehta]

I've done a fresh install of mathlibtools but it's still not being found properly:

$ pip uninstall mathlibtools
Found existing installation: mathlibtools 0.0.9
Uninstalling mathlibtools-0.0.9:
  Would remove:
    /usr/local/bin/leanproject
    /usr/local/lib/python3.8/site-packages/mathlibtools-0.0.9.dist-info/*
    /usr/local/lib/python3.8/site-packages/mathlibtools/*
Proceed (y/n)? y
  Successfully uninstalled mathlibtools-0.0.9
bmehta@cherry-pie: ~/Documents/lean/topos (master *)
$ pip install mathlibtools
Collecting mathlibtools
  Downloading mathlibtools-0.0.10-py3-none-any.whl (21 kB)
Requirement already satisfied: requests in /usr/local/lib/python3.8/site-packages (from mathlibtools) (2.24.0)
Requirement already satisfied: gitpython>=2.1.11 in /usr/local/lib/python3.8/site-packages (from mathlibtools) (3.1.7)
Requirement already satisfied: PyGithub in /usr/local/lib/python3.8/site-packages (from mathlibtools) (1.51)
Requirement already satisfied: networkx in /usr/local/lib/python3.8/site-packages (from mathlibtools) (2.4)
Requirement already satisfied: pydot in /usr/local/lib/python3.8/site-packages (from mathlibtools) (1.4.1)
Requirement already satisfied: toml>=0.10.0 in /usr/local/lib/python3.8/site-packages (from mathlibtools) (0.10.1)
Requirement already satisfied: PyYAML>=3.13 in /usr/local/lib/python3.8/site-packages (from mathlibtools) (5.3.1)
Requirement already satisfied: certifi in /usr/local/lib/python3.8/site-packages (from mathlibtools) (2020.6.20)
Requirement already satisfied: Click in /usr/local/lib/python3.8/site-packages (from mathlibtools) (7.1.2)
Requirement already satisfied: tqdm in /usr/local/lib/python3.8/site-packages (from mathlibtools) (4.48.0)
Requirement already satisfied: chardet<4,>=3.0.2 in /usr/local/lib/python3.8/site-packages (from requests->mathlibtools) (3.0.4)
Requirement already satisfied: idna<3,>=2.5 in /usr/local/lib/python3.8/site-packages (from requests->mathlibtools) (2.10)
Requirement already satisfied: urllib3!=1.25.0,!=1.25.1,<1.26,>=1.21.1 in /usr/local/lib/python3.8/site-packages (from requests->mathlibtools) (1.25.10)
Requirement already satisfied: gitdb<5,>=4.0.1 in /usr/local/lib/python3.8/site-packages (from gitpython>=2.1.11->mathlibtools) (4.0.5)
Requirement already satisfied: pyjwt in /usr/local/lib/python3.8/site-packages (from PyGithub->mathlibtools) (1.7.1)
Requirement already satisfied: deprecated in /usr/local/lib/python3.8/site-packages (from PyGithub->mathlibtools) (1.2.10)
Requirement already satisfied: decorator>=4.3.0 in /usr/local/lib/python3.8/site-packages (from networkx->mathlibtools) (4.4.2)
Requirement already satisfied: pyparsing>=2.1.4 in /usr/local/lib/python3.8/site-packages (from pydot->mathlibtools) (2.4.7)
Requirement already satisfied: smmap<4,>=3.0.1 in /usr/local/lib/python3.8/site-packages (from gitdb<5,>=4.0.1->gitpython>=2.1.11->mathlibtools) (3.0.4)
Requirement already satisfied: wrapt<2,>=1.10 in /usr/local/lib/python3.8/site-packages (from deprecated->PyGithub->mathlibtools) (1.12.1)
Installing collected packages: mathlibtools
Successfully installed mathlibtools-0.0.10
bmehta@cherry-pie: ~/Documents/lean/topos (master *)
$ leanproject import-graph
pyenv: leanproject: command not found

[Yury G. Kudryashov]

echo $PATH?

[Bhavik Mehta]

/usr/local/opt/openssl/bin:/usr/local/opt/python/libexec/bin:/Users/bmehta/.mathlib/bin:/Users/bmehta/.elan/bin:/Users/bmehta/.opam/system/bin:/Users/bmehta/.jenv/shims:/Users/bmehta/.jenv/bin:/Users/bmehta/.cabal/bin:/usr/local/Cellar/pyenv-virtualenv/1.1.5/shims:/Users/bmehta/.pyenv/shims:/usr/local/bin:/Users/bmehta/.local/bin:/Users/bmehta/.nix-profile/bin:/Users/bmehta/.nix-profile/sbin:/Users/bmehta/.nix-profile/lib/kde4/libexec:/nix/var/nix/profiles/default/bin:/nix/var/nix/profiles/default/sbin:/nix/var/nix/profiles/default/lib/kde4/libexec:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin:/usr/local/MacGPG2/bin:/opt/X11/bin:/usr/local/opt/openssl/bin:/usr/local/opt/python/libexec/bin:/Users/bmehta/.mathlib/bin:/Users/bmehta/.elan/bin:/Users/bmehta/.opam/system/bin:/Users/bmehta/.jenv/shims:/Users/bmehta/.jenv/bin:/Users/bmehta/.cabal/bin:/Users/bmehta/.local/bin:/usr/local/Cellar/pyenv-virtualenv/1.1.5/shims:/Users/bmehta/.pyenv/shims:/Users/bmehta/.nix-profile/bin:/Users/bmehta/.nix-profile/sbin:/Users/bmehta/.nix-profile/lib/kde4/libexec:/nix/var/nix/profiles/default/bin:/nix/var/nix/profiles/default/sbin:/nix/var/nix/profiles/default/lib/kde4/libexec:/Users/bmehta/.fzf/bin

[Bhavik Mehta]

pretty ugly

[Yury G. Kudryashov]

echo $PATH | sed -e 's/:/\n/g'?

[Yury G. Kudryashov]

BTW, what is pyenv?

[Yury G. Kudryashov]

Already found

[Bhavik Mehta]

pretty sure that sed didn't do what you want, but

/usr/local/opt/openssl/binn/usr/local/opt/python/libexec/binn/Users/bmehta/.mathlib/binn/Users/bmehta/.elan/binn/Users/bmehta/.opam/system/binn/Users/bmehta/.jenv/shimsn/Users/bmehta/.jenv/binn/Users/bmehta/.cabal/binn/usr/local/Cellar/pyenv-virtualenv/1.1.5/shimsn/Users/bmehta/.pyenv/shimsn/usr/local/binn/Users/bmehta/.local/binn/Users/bmehta/.nix-profile/binn/Users/bmehta/.nix-profile/sbinn/Users/bmehta/.nix-profile/lib/kde4/libexecn/nix/var/nix/profiles/default/binn/nix/var/nix/profiles/default/sbinn/nix/var/nix/profiles/default/lib/kde4/libexecn/usr/local/binn/usr/binn/binn/usr/sbinn/sbinn/Library/TeX/texbinn/usr/local/MacGPG2/binn/opt/X11/binn/usr/local/opt/openssl/binn/usr/local/opt/python/libexec/binn/Users/bmehta/.mathlib/binn/Users/bmehta/.elan/binn/Users/bmehta/.opam/system/binn/Users/bmehta/.jenv/shimsn/Users/bmehta/.jenv/binn/Users/bmehta/.cabal/binn/Users/bmehta/.local/binn/usr/local/Cellar/pyenv-virtualenv/1.1.5/shimsn/Users/bmehta/.pyenv/shimsn/Users/bmehta/.nix-profile/binn/Users/bmehta/.nix-profile/sbinn/Users/bmehta/.nix-profile/lib/kde4/libexecn/nix/var/nix/profiles/default/binn/nix/var/nix/profiles/default/sbinn/nix/var/nix/profiles/default/lib/kde4/libexecn/Users/bmehta/.fzf/bin

[Yury G. Kudryashov]

It didn't.

[Yury G. Kudryashov]

Do you know where did pip install mathlibtools? Is it in your PATH?

[Yury G. Kudryashov]

pip list?

[Yury G. Kudryashov]

pip show mathlibtools?

[Yury G. Kudryashov]

BTW, you can install it using nixpkgs.

[Yury G. Kudryashov]

There is a .nix file in the repo.

[Bhavik Mehta]

ah I got it to work, had to do some rehash

[Bhavik Mehta]

yeah my nix installation is very broken though