Add pycodestyle config via tox, add tox environment

[gh-tobiasdiez]

Adds the current configuration of pycodestyle (as taken from the patchbot) to the src/tox.ini file. Thus, it can be run now locally via the cli pycodestyle. Moreover, tools like VS Code can pick it up automatically. The corresponding changes for the patchbot are done in ​https://github.com/sagemath/sage-patchbot/pull/145.

Documentation will be added in #30361.

[mkoeppe]

Perhaps also add a tox environment that runs pycodestyle?

[mkoeppe]

Speaking of vs code, would it make sense to add a configuration or configuration template for that as well in ~/.vscode so that it knows to launch local/bin/sage and local/bin/python3?

[gh-tobiasdiez]

Perhaps also add a tox environment that runs pycodestyle?

I've no experience with tox, and thus cannot decide if this makes sense or not. Feel free to hijack this PR and add the necessary config.

Speaking of vs code, would it make sense to add a configuration or configuration template for that as well in ~/.vscode so that it knows to launch local/bin/sage and local/bin/python3?

This definitely makes sense! However, the last time I tried to point vscode to the local sage python environment, it didn't work. My hope was that with the inplace compilation it will work.

[mkoeppe]

Replying to gh-tobiasdiez:

Speaking of vs code, would it make sense to add a configuration or configuration template for that as well in ~/.vscode so that it knows to launch local/bin/sage and local/bin/python3?

This definitely makes sense! However, the last time I tried to point vscode to the local sage python environment, it didn't work. My hope was that with the inplace compilation it will work.

I was able to set it so that it can run local/bin/python3 and that was good enough to do some debugging work

[mkoeppe]

Replying to gh-tobiasdiez:

Perhaps also add a tox environment that runs pycodestyle?

I've no experience with tox, and thus cannot decide if this makes sense or not. Feel free to hijack this PR and add the necessary config.

Sure, will do

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​dde3b4f

src/tox.ini: Add testenv:pycodestyle

[git]

Branch pushed to git repo; I updated commit sha1. New commits:

​939e9e0

src/tox.ini: Better default arg testenv:pycodestyle

[mkoeppe]

This auto-provisions pycodestyle

Can do the same also for pyright via ​https://pypi.org/project/nodeenv/

[gh-tobiasdiez]

Thanks!

If you want to enable type checking in a purely pythonic environment, then perhaps mypy (or pytype or PyCharm?) are better alternatives. Pyright was mainly designed to be used in combination with VS code and for CI. Anyway, that's not the topic of this ticket ;-).

[mkoeppe]

Replying to gh-tobiasdiez:

Pyright was mainly designed to be used in combination with VS code and for CI. Anyway, that's not the topic of this ticket ;-).

OK, I've opened #30411 for this, but it's not a high priority to work on it.

[mkoeppe]

Replying to mkoeppe:

Speaking of vs code, would it make sense to add a configuration or configuration template for that as well in ~/.vscode so that it knows to launch local/bin/sage and local/bin/python3?

This is now #30484