core file

[Ali Çehreli]

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