Rechercher une page de manuel

Chercher une autre page de manuel:

vk_logmerge

Langue: en

Version: 2009-05-02 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

vk_logmerge - a Valgrind XML log file merger

SYNOPSIS

vk_logmerge [flags and input files in any order]

DESCRIPTION

vk_logmerge is a valkyrie(1) helper. Given multiple log files (in xml format) generated by multiple runs on a parallel machine, or multiple log files generated by sequential runs on a single-processor machine, for the same binary, vk_logmerge merges the log files together, summing the counts of duplicates, and outputs the result to a single file. As input, vk_logmerge expects the log-files to-be-merged and/or a file containing the list of log-files to-be-merged, with each entry on a separate line.

Log files can be merged from within valkyrie(1) , or use can invoke vk_logmerge directly.

OPTIONS

-h
Show help message
-v
Be verbose (more -v's give more)
-t
Output plain text (non-xml)
-f <log_list>
Obtain input files from <log_list> file (one per line)
-o <writefile>
File to write output to

At least 1 input file must be given.

If no '-o outfile' is given, writes to standard output.

EXAMPLES

vk_logmerge log1.xml -f loglist.fls -o merged.xml

SEE ALSO

valkyrie(1), valgrind(1).

AUTHOR

vk_logmerge was written by Donna Robinson, Cerion Armour-Brown and others.

This manual page was written by Hai Zaar <haizaar@haizaar.com>, for the Debian project (but may be used by others).

Ces qualités du Corps qui n'en peuvent être séparées, je les nomme
qualités originales et premières, qui sont la solidité, l'étendue, la
figure, le nombre, et le mouvement, ou le repos, et qui produisent en
nous des idées simples, comme chacun peut, à mon avis s'en assurer par
soi-même. Il y a, en second lieu, des qualités qui dans le Corps ne
sont effectivement autre chose que la puissance de produire diverses
sensations en nous par le moyen de leurs premières qualités,
c'est-à-dire, par la grosseur, figure, contexture et mouvement de leurs
parties insensibles, comme sont les couleurs, les sons, les goûts, etc.
Je donne à ces qualités le nom de secondes qualités.
-+- John Locke (1632-1704), Essai sur l'entendement humain -+-