On 11/12/2017 10:25 PM, Tony wrote:
>>> "Segmentation fault (core dumped)"
I've been assuming that if it says "dumped", the core is dumped.
> I am on Ubuntu 16.04. Thanks, I didn't know that "producing a core file"
> was configurable, and it appears that it isn't.
It is. If you search for "where is core file ubuntu" you will hit the
output of 'man core', as well as answers like the following, which
explains that the file may be under /var/cache/abrt:
https://stackoverflow.com/questions/2065912/core-dumped-but-core-file-is-not-in-current-directory
Ali