Search Results for "punch time linux"

Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets. Type inference for function return values, instance...

This repository is for the GitHub Action to run a Super-Linter. It is a simple combination of various linters, written in bash, to help validate your source code. The super-linter finds issues and reports them to the console output. Fixes are suggested in the console output but not automatically fixed, and a status check will show up as failed on the pull request. The design of the Super-Linter is currently to allow linting to occur in GitHub Actions as a part of continuous integration...

PyEdit is a fully featured fast text editor written in Python. It can be used in any platform that has GTK. Because it is written in Python, it is easily configurable. Features code spell check and macro recording. Tested in Win/Lin/Mac --- Update: Using the editor full time V23 is mature enough for production --- Update: Had to downgrade to PyGTK 2.22.xx as 2,24,x had a double click message bug. (uploaded 22.2 to this project) --- Update: V33 is working as a champ. New...