[PATCH] Improve "skip file X" behaviour to allow quiet adding of skip entries in .gdbinit

[Richard Geary <richardg dot work at gmail dot com>]

Description :

Rationale : I want my gdb to always skip the system headers in
/usr/include. But adding (say) "skip file
/usr/include/c++/4.6/debug/safe_iterator.h" to the .gdbinit file will
be ignored as there's no symbols loaded at that point. This was not my
expectation. This patch changes this behaviour so the skip file entry
is added for future loads, and can be done quietly.

Observed Behaviour :
Adding "skip file /usr/include/c++/4.6/debug/safe_iterator.h" to the
.gdbinit produces this message when gdb loads :

No source file named /usr/include/c++/4.6/debug/safe_iterator.h
Ignore file pending future shared library load? (y or [n]) [answered
N; input not from terminal]

Using "server skip file /usr/include/c++/4.6/debug/safe_iterator.h" in
the .gdbinit file produces :
No source file named /usr/include/c++/4.6/debug/safe_iterator.h

For both commands, no skip file entry is added as the default answer is N.

Expected Behaviour :
Add the skip file entry quietly for pending future library loads.

Change :
 - Change the default answer to the "Ignore..." question to Y.
 - When run as a server command, hide the "No source file named "...
message to allow the user to quietly add skip entries

Testing :
 Behaviour observed on Ubuntu 12.04 and Fedora 17
 Reproduce with
   find /usr/include/c++/ -type f | awk '{ print "server skip file "$1
}' > ~/.gdbskip
   echo "source ~/.gdbskip" >> ~/.gdbinit


Change Log
2013-08-10   Richard Geary  <tristram987@gmail.com>
 * skip.c : Change skip file default answer to Y (skip_file_command)
  Quietly add skip entries using "sever skip file X"
  (skip_file_command, skip_function_command)


Thanks,

Richard Geary

Attachment: skip.patch
Description: Binary data