Re: Two observations using GDB 13 snapshot

Eli Zaretskii via Gdb-patches
2023-01-07T14:12:17Z

> From: Andreas Schwab <schwab@linux-m68k.org>
> Cc: gdb-patches@sourceware.org
> Date: Sat, 07 Jan 2023 14:59:28 +0100
>
> On Jan 07 2023, Eli Zaretskii wrote:
>
> > Yes, I did. But (a) if I rename ~/.gdbinit to some other name, GDB 13
> > still shows the "(gdb)" prompt, not "(top-gdb)";
>
> Full output please.

There's no change:

GNU gdb ((MinGW32 GDB)) 13.0.50.20221217-git
Copyright (C) 2022 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "i686-pc-mingw32".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.

For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from ./gdb.exe...
(gdb)