Hi,

On Thu, Apr 7, 2022 at 12:46 AM Dominique Pellé <[email protected]>
wrote:

> *@dpelle* commented on this pull request.
> ------------------------------
>
> In runtime/doc/repeat.txt
> <https://github.com/vim/vim/pull/10107#discussion_r844822293>:
>
> > @@ -1071,6 +1074,9 @@ For example, to profile the one_script.vim script 
> > file: >
>
>               after this command.  A :profile command in the script itself
>
>               won't work.
>
>
>
> +:prof[ile] dump
>
> +               Don't wait until exiting Vim and write the current state of
>
> +               profiling to the log immediately.
>
>
>
>  :profd[el] ...                                               *:profd* 
> *:profdel*
>
>
> Slightly off-topic, but I don't find the doc of :profdel clear.
> ------------------------------
>
> In runtime/doc/repeat.txt
> <https://github.com/vim/vim/pull/10107#discussion_r844822380>:
>
> > @@ -1048,6 +1048,9 @@ For example, to profile the one_script.vim script 
> > file: >
>
>               If {fname} already exists it will be silently overwritten.
>
>               The variable |v:profiling| is set to one.
>
>
>
> +:prof[ile] stop
>
> +               Write the logfile and stop profiling.
>
>
> I have not tried yet, but what happens if I call :profile stop twice in a
> row?
>

The second time, the error message "E750: First use ":profile start
{fname}" will be displayed.


> I also see that behavior of calling :profile start … twice is not
> documented (already the case prior to your change).
>
> Also what happens if we call :profile dump without prior call to :profile
> start …?
>
>
>
If ":profile dump" is called without a start, then the error message "E750:
First use ":profile start {fname}"
will be displayed.

- Yegappan

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/CAAW7x7%3DQKfHF0A2SDbad2y1Zv3eoAnAc9-5DESR-_kaFZd%2BqCQ%40mail.gmail.com.

Raspunde prin e-mail lui