From 9d716f0f7d0901dea1a0dfbadb0356c83b11adc0 Mon Sep 17 00:00:00 2001 From: Sarah Hoffmann Date: Thu, 30 Jun 2022 15:57:44 +0200 Subject: [PATCH] mypy: add psycopg2 typing info from typeshed --- .mypy.ini | 3 --- docs/develop/Development-Environment.md | 2 +- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/.mypy.ini b/.mypy.ini index 58aa623d..c019a55e 100644 --- a/.mypy.ini +++ b/.mypy.ini @@ -3,9 +3,6 @@ [mypy-icu.*] ignore_missing_imports = True -[mypy-psycopg2.*] -ignore_missing_imports = True - [mypy-psutil] ignore_missing_imports = True diff --git a/docs/develop/Development-Environment.md b/docs/develop/Development-Environment.md index 9abfae37..05bd50de 100644 --- a/docs/develop/Development-Environment.md +++ b/docs/develop/Development-Environment.md @@ -54,7 +54,7 @@ sudo apt install php-cgi phpunit php-codesniffer \ python3-pip python3-setuptools python3-dev pip3 install --user behave mkdocs mkdocstrings pytest \ - pylint mypy types-PyYAML types-jinja2 + pylint mypy types-PyYAML types-jinja2 types-psycopg2 ``` The `mkdocs` executable will be located in `.local/bin`. You may have to add -- 2.39.5