oivron / microbit-stubs

Python type hints for micro:bit

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

micro:bit Stubs Readme

This repo is based on https://github.com/makerbit/microbit-stub. It provides type hints and type checking in your IDE while coding the BBC micro:bit with Python.

I have added support for micro:bit V2.

How to use

Detailed description on how to use stub files with Visual Studio Code and Pylint.

In short:

  1. Clone this repo to your workspace.

  2. Add settings.json to your workspace and make sure it contains:

    "python.languageServer": "Pylance",
    "python.analysis.autoSearchPaths": true,
    "python.autoComplete.extraPaths": [
        "path/to/stub/files"
    ],
    "python.linting.enabled": true,
    "python.linting.pylintEnabled": true
    
  3. You will also need a .pylintrc file in your workspace with the following:

    [MASTER]
    init-hook='import sys;sys.path[1:1] = ["path/to/stub/files",]'
    

License

GNU GENERAL PUBLIC LICENSE.

About

Python type hints for micro:bit

License:GNU General Public License v3.0


Languages

Language:Python 100.0%