Giters

facebook / pyre-check

Performant type-checking for python.

Home Page:https://pyre-check.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Bootstrap script doesn't work with `fish` shell

vthemelis opened this issue · comments

commented

./scripts/setup.py doesn't work with fish. This is because of the different kind of output that opam env gives in the case of fish:

https://github.com/ocaml/opam/blob/e0a390db72dfc400edb156c306a1e2e34f4556ed/src/state/opamEnv.ml#L617-L639