From b8634ee9cb6613e1d06ad10ff38b0e88a46aa785 Mon Sep 17 00:00:00 2001 From: Dominik Ritter Date: Sun, 9 Jul 2023 23:58:05 +0200 Subject: [PATCH] jetbrains.plugins: Update plugins when IDEs are being updated --- pkgs/applications/editors/jetbrains/update_ides.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/editors/jetbrains/update_ides.py b/pkgs/applications/editors/jetbrains/update_ides.py index fe57f75c72e1..82ba7986f9a8 100755 --- a/pkgs/applications/editors/jetbrains/update_ides.py +++ b/pkgs/applications/editors/jetbrains/update_ides.py @@ -4,12 +4,14 @@ import json import pathlib import logging import requests +import subprocess import sys import xmltodict from packaging import version updates_url = "https://www.jetbrains.com/updates/updates.xml" -versions_file_path = pathlib.Path(__file__).parent.joinpath("versions.json").resolve() +current_path = pathlib.Path(__file__).parent +versions_file_path = current_path.joinpath("versions.json").resolve() logging.basicConfig(stream=sys.stdout, level=logging.DEBUG) @@ -98,3 +100,7 @@ for products in versions.values(): with open(versions_file_path, "w") as versions_file: json.dump(versions, versions_file, indent=2) versions_file.write("\n") + +logging.info("#### Updating plugins ####") +plugin_script = current_path.joinpath("plugins/update_plugins.py").resolve() +subprocess.call(plugin_script)