Running EduLint

Use online instance

A publicly available instance of EduLint is running at edulint.com.

Use local installation

Installation

To install EduLint locally, open an interactive shell and run:

python3 -m pip install --user edulint

Note

EduLint needs Python 3.8 (or higher).

Run EduLint locally

To start using EduLint, open an interactive shell and run:

python3 -m edulint path/to/code/to/check.py

Note

Multiple filenames can be passed and linted at once. If a directory is passed, it is traversed and all .py files it contains are linted.

Use Thonny plugin

Thonny is an integrated development environment developed specifically for novice programmers. EduLint also comes as a plugin for this IDE. Here you can learn how to install it.