deb74dda
f7bff15b
1 2
3
4
# Don't print the GDB copyright message on every invocation gdb() { command gdb --quiet "$@" }