diff options
| author | Matthieu C. <886074+teto@users.noreply.github.com> | 2024-06-19 22:36:59 +0200 |
|---|---|---|
| committer | Matthieu Coudron <886074+teto@users.noreply.github.com> | 2024-06-20 10:51:45 +0200 |
| commit | 80f48521c91c12d51ac42b8a6c935fae917bb14d (patch) | |
| tree | 193649fac72f4037423797958da6595d5a262a8f /maintainers/scripts | |
| parent | 2432292235943fc4c07a769d47dfea300d26a4be (diff) | |
pluginupdate.py: print script duration
to help track the plugin speed across time
Diffstat (limited to 'maintainers/scripts')
| -rw-r--r-- | maintainers/scripts/pluginupdate.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/maintainers/scripts/pluginupdate.py b/maintainers/scripts/pluginupdate.py index 8ae86e2e93a49..ce4f55ae1e3cd 100644 --- a/maintainers/scripts/pluginupdate.py +++ b/maintainers/scripts/pluginupdate.py @@ -788,7 +788,10 @@ def update_plugins(editor: Editor, args): fetch_config = FetchConfig(args.proc, args.github_token) update = editor.get_update(args.input_file, args.outfile, fetch_config) + start_time = time.time() redirects = update() + duration = time.time() - start_time + print(f"The plugin update took {duration}s.") editor.rewrite_input(fetch_config, args.input_file, editor.deprecated, redirects) autocommit = not args.no_commit |