We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The recently added Makefile is not useful:
We need to remove it and document instead of to use pipenv, replacing the old way using bare pip.
Playing with pipenv, it seems that the best way to use it is:
Requirement:
Setup for users:
Creating a shell for running the server or client: pipenv shell
Setup for developers:
With this the rest of the documentation does not need any change.
It is possible to use "pipenv run" but having to repeat this is annoying and error prone, I don't want to make it harder for teachers or students.
Notes:
The text was updated successfully, but these errors were encountered:
@rollandf can you review this?
Sorry, something went wrong.
No branches or pull requests
The recently added Makefile is not useful:
We need to remove it and document instead of to use pipenv, replacing the old way using bare pip.
Playing with pipenv, it seems that the best way to use it is:
Requirement:
Setup for users:
Creating a shell for running the server or client:
pipenv shell
Setup for developers:
With this the rest of the documentation does not need any change.
It is possible to use "pipenv run" but having to repeat this is annoying and error prone, I don't want to make it harder for teachers or students.
Notes:
Maybe we need to document this separately to make it easier?
The text was updated successfully, but these errors were encountered: