core file

[Tony]

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'".