Re: [PATCH] gdb: Make startup message more user friendly

Tom Tromey
2025-10-15T16:55:00Z

Guinevere> I just tested this out and after I managed to get it working, I tested
Guinevere> by adding "set style emoji off", and turns out this is printed before
Guinevere> gdbinit is read, meaning a user can't disable it themselves. I
Guinevere> personally think this is a really good improvement, but I can see this
Guinevere> being a nuisance for users in terminals that support UTF-8 but the
Guinevere> user themself doesn't like it.

It can be changed using the early initialization file so I think it's fine.

Tom