On Monday, 13 November 2017 at 07:38:14 UTC, Ali Çehreli wrote:
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
Thanks for the "man core" tip and the link.
