comparison doc/hgrc.5.txt @ 8022:4f3fdfaa3874

profiling: Adding profiling.output config variable

If specified, outputs profiling data to the said file.
Prints to stderr by default

8021:1c2cf2e5dc9b

    Default is set to repository from which the current repository
    was cloned.
  default-push;;
    Optional. Directory or URL to use when pushing if no destination
    is specified.

[[server]]
server::
  Controls generic server settings.
  uncompressed;;

8022:4f3fdfaa3874

    Default is set to repository from which the current repository
    was cloned.
  default-push;;
    Optional. Directory or URL to use when pushing if no destination
    is specified.

[[profiling]]
profiling::
  Specifies profiling format and file output.
  In this section description, 'profiling data' stands for the raw data
  collected during profiling, while 'profiling report' stands for a
  statistical text report generated from the profiling data.
  The profiling is done using lsprof.
  output;;
    File path where profiling data or report should be saved.
    If the file exists, it is replaced.
    Default: None, data is printed on stderr

[[server]]
server::
  Controls generic server settings.
  uncompressed;;