From ad206600122ef3b2bdd807fd5fe5f1eacfd0f93d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Naz=C4=B1m=20Can=20Alt=C4=B1nova?= Date: Thu, 24 Jul 2025 00:10:22 +0200 Subject: [PATCH] Add the ability to pass custom profiler options to profile.start --- lua/plenary/profile.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lua/plenary/profile.lua b/lua/plenary/profile.lua index 0afc4a7e4..f743ae84e 100644 --- a/lua/plenary/profile.lua +++ b/lua/plenary/profile.lua @@ -9,10 +9,11 @@ local p = require'plenary.profile.p' ---@param opts table of options --- flame (bool, default false) write log in flamegraph format -- (see https://github.com/jonhoo/inferno) +--- popts (string) custom profiler options function profile.start(out, opts) out = out or "profile.log" opts = opts or {} - local popts = "10,i1,s,m0" + local popts = opts.popts or "10,i1,s,m0" if opts.flame then popts = popts .. ",G" end p.start(popts, out) end