I'm getting no core dumps, and core(5) says the problem might be that my kernel might be configured with CONFIG_COREDUMP, how do I find out if it is true?I'm on Mint 17.3 (uname -a: Linux laptop 3.19.0-32-generic #37~14.04.1-Ubuntu SMP Thu Oct 22 09:41:40 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux).
How do I find out how my currently Linux kernel was configured
linux;linux kernel
On Mint, you'll find the kernel configuration in /boot/config-$(uname -r):grep CONFIG_COREDUMP /boot/config-$(uname -r)Most distributions ship the kernel configuration in /boot nowadays.