You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If it's not too annoying that it takes a few seconds to run (about 11 on my machine) even when all dependencies are already installed, we could simplify the workflow by just saying "run ./scripts/setup.sh to set up the environment", and have it run pipenv shell for the user.
I'm sure it could be made faster too, though it might not be worthwhile: at the moment, it will also automatically DTRT if for example the dependencies change.
The text was updated successfully, but these errors were encountered:
If it's not too annoying that it takes a few seconds to run (about 11 on my machine) even when all dependencies are already installed, we could simplify the workflow by just saying "run
./scripts/setup.sh
to set up the environment", and have it runpipenv shell
for the user.I'm sure it could be made faster too, though it might not be worthwhile: at the moment, it will also automatically DTRT if for example the dependencies change.
The text was updated successfully, but these errors were encountered: