Skip to content

Commit

Permalink
+fix github markdown
Browse files Browse the repository at this point in the history
  • Loading branch information
gdraheim committed Apr 8, 2024
1 parent 0199952 commit 537883a
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions DEVGUIDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,11 +13,11 @@ Development can be done with a pure text editor and a terminal session.
Use python and mypy extensions for Visual Studio Code (from Microsoft).

* Control-P: "ext list"
** look for "Python", "Pylance" (style checker), "Mypy Type Checker" (type checker)
** optional "Makefile Tools"
* look for "Python", "Pylance" (style checker), "Mypy Type Checker" (type checker)
* optional "Makefile Tools"
* Control-P: "ext install ms-python.mypy-type-checker"
** this one pulls the latest mypy from the visualstudio marketplace
** https://marketplace.visualstudio.com/items?itemName=ms-python.mypy-type-checker
* this one pulls the latest mypy from the visualstudio marketplace
* https://marketplace.visualstudio.com/items?itemName=ms-python.mypy-type-checker

The make targets are defaulting to tests with python3.6 but the mypy plugin
for vscode requires atleast python3.8. All current Linux distros provide an
Expand Down

0 comments on commit 537883a

Please sign in to comment.