doc/shell-rc: Hide the `gdb' banner.

It's very large and rather boring.

diff --git a/dot/shell-rc b/dot/shell-rc
index aad0918..940f91b 100644 (file)
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -133,6 +133,7 @@ alias e="$EDITOR"
 alias svn="svnwrap svn"
 alias @="ssh"
 alias make="nice make"
+alias gdb="gdb -q"
 
 ###--------------------------------------------------------------------------
 ### Colour output.