On Monday, 13 November 2017 at 07:38:14 UTC, Ali Çehreli wrote:
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
My mistake. When I said "and it isn't", I was trying to say "and
it isn't set on my system as shown by 'ulimit -a'".