crashinfo doesn't support compressed crashdumps - which way forward?

[Alexander Leidinger]

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.

-- 
http://www.Leidinger.net Alexander at Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org    netchild at FreeBSD.org  : PGP 0x8F31830F9F2772BF
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: Digitale PGP-Signatur
URL: <http://lists.freebsd.org/pipermail/freebsd-hackers/attachments/20180712/aaa794a5/attachment.sig>