From 6ae3050ff143d3cac1774355ec3d54e0fbe53ad4 Mon Sep 17 00:00:00 2001 From: Dhinak G <17605561+dhinakg@users.noreply.github.com> Date: Tue, 3 Jan 2023 17:10:42 -0500 Subject: [PATCH] Also dump plugin list as json --- config_mgmt.py | 1 + 1 file changed, 1 insertion(+) diff --git a/config_mgmt.py b/config_mgmt.py index 6e103db186..35234daa5d 100644 --- a/config_mgmt.py +++ b/config_mgmt.py @@ -21,3 +21,4 @@ def save_config(data: dict): json.dump(data, (config_dir / Path("config.json")).open("w"), sort_keys=True) json.dump(latest, (config_dir / Path("latest.json")).open("w"), sort_keys=True) + json.dump(list(data.keys()), (config_dir / Path("plugins.json")).open("w"), sort_keys=True)