On 12/21/18 10:35 AM, Alice Wonder wrote: > Is that the best way (obviously with debug packages installed) to get > the core dump or is there a better way? It looks reasonable to me.