Alexander Leidinger
2018-07-12 12:14:09 UTC
Hi,
the crashinfo script doesn't know how to handle compressed coredumps.
What would be acceptable behavior (ordered by my preferrence)?
1) decompress in /var/crash and then proceed normally (already
implemented locally)
2) decompress to CRASHTMPDIR:/var/tmp/xxx and delete when finished
3) keep it like it is
4) teach tools to understand compressed dumps (gzip / zstd)
Implicitly there is the question what what is the purpose of
compressing crashdumps, to have more RAM than space in dumpdev (which
is valid in my case), or to save space in /var/crash (which I don't
care much about).
Bye,
Alexander.
the crashinfo script doesn't know how to handle compressed coredumps.
What would be acceptable behavior (ordered by my preferrence)?
1) decompress in /var/crash and then proceed normally (already
implemented locally)
2) decompress to CRASHTMPDIR:/var/tmp/xxx and delete when finished
3) keep it like it is
4) teach tools to understand compressed dumps (gzip / zstd)
Implicitly there is the question what what is the purpose of
compressing crashdumps, to have more RAM than space in dumpdev (which
is valid in my case), or to save space in /var/crash (which I don't
care much about).
Bye,
Alexander.
--
http://www.Leidinger.net ***@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org ***@FreeBSD.org : PGP 0x8F31830F9F2772BF
http://www.Leidinger.net ***@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org ***@FreeBSD.org : PGP 0x8F31830F9F2772BF