Re: Finding the dump

[Eli Zaretskii]

> From: Andreas Schwab <address@hidden>
> Date: Sun, 27 Jan 2019 17:37:39 +0100
> Cc: address@hidden, address@hidden
> 
> >> Having to use --dump-file is awkward.
> >
> > When you type it on the command line, yes.  But we are talking about a
> > shell script, where you add the --dump-file option once and for all.
> 
> It's still awkward, because you have to know the full name, which
> depends on the version and architecture.

So your proposal is to have all the *.pdmp files in the same
directory, regardless of the version and architecture?  That's quite a
deviation from the current arrangement and policies.