paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-01 04:23:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

mypy: Add types-Pygments.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2021-08-02 20:15:51 -07:00
committed by Tim Abbott
parent 498d2b48d9
commit 49907173b2
6 changed files with 21 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/lib/provision_inner.py
View File

@@ -9,7 +9,7 @@ from typing import List
ZULIP_PATH = os.path.dirname(os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
sys.path.append(ZULIP_PATH)
from pygments import __version__ as pygments_version
import pygments
from pytz import VERSION as timezones_version
from scripts.lib import clean_unused_caches
@@ -24,6 +24,8 @@ from scripts.lib.zulip_tools import (
from tools.setup.generate_zulip_bots_static_files import generate_zulip_bots_static_files
from version import PROVISION_VERSION
pygments_version = pygments.__version__ # type: ignore[attr-defined] # private member missing from stubs
VENV_PATH = "/srv/zulip-py3-venv"
UUID_VAR_PATH = get_dev_uuid_var_path()