On Sun, 11 May 2014 17:06:59 GMT, Luís Marques wrote:

(PS: does anyone remember how to change the core dump file name template, so that the core dump is not overwritten for every crash?)

It is controlled by /proc/sys/kernel/core_pattern