On Oct 30, Jason Thorpe wrote
> Just looked at the gdb problem...
> 
> (gdb) set write
> 
> ..will do what you want... unless you want to patch from the command line.

And it's documented in 'help set'. Missed it when I looked the first time.
Sorry.

> 
> gdb -w used to mean "write files", but now it means "use windows". So,
> we'd have to use a long option, --write, I guess... should be easy to
> add to gdb.
> 

If it's easy, perhaps it should be done. Or at last print an informational
message, as for -k.

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--