From 580b84365cea28dbd59fbae3f0ea6661af610e8e Mon Sep 17 00:00:00 2001 From: KyleMiles Date: Sat, 8 Jun 2024 00:25:45 -0400 Subject: [PATCH] Correct doc comment about not being able to remove plugin repositories; Also add doc comment for #2987 --- python/pluginmanager.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/python/pluginmanager.py b/python/pluginmanager.py index 237ab9fbc..94232e2fd 100644 --- a/python/pluginmanager.py +++ b/python/pluginmanager.py @@ -386,9 +386,10 @@ def add_repository(self, url: Optional[str] = None, repopath: Optional[str] = No """ ``add_repository`` adds a new plugin repository for the manager to track. - There is currently no function to remove a repository. If you want to - remove a repository, you must delete the directory and remove the - plugin_status.json entries from repositories/ file in the User Folder + To remove a repository, restart Binary Ninja (and don't re-add the repository!). + File artifacts will remain on disk under repositories/ file in the User Folder. + + Before you can query plugin metadata from a repository, you need to call ``check_for_updates``. :param str url: URL to the plugins.json containing the records for this repository :param str repopath: path to where the repository will be stored on disk locally @@ -399,6 +400,7 @@ def add_repository(self, url: Optional[str] = None, repopath: Optional[str] = No >>> mgr = RepositoryManager() >>> mgr.add_repository("https://raw.githubusercontent.com/Vector35/community-plugins/master/plugins.json", "community") True + >>> mgr.check_for_updates() >>> """ if not isinstance(url, str) or not isinstance(repopath, str):