diff options
| -rw-r--r-- | %HOME%/.bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/%HOME%/.bashrc b/%HOME%/.bashrc index 77fb5ac..e5a809e 100644 --- a/%HOME%/.bashrc +++ b/%HOME%/.bashrc @@ -62,6 +62,9 @@ alias copy='xclip -sel clip' # Make sure ssh-copy-id copies public keys along with their comments. alias ssh-copy-id='ssh-copy-id -i' +# Shut GDB up: +alias gdb='gdb -q' + [ -r "$HOME/.bash_utils/file.sh" ] && source "$HOME/.bash_utils/file.sh" [ -r "$HOME/.bash_utils/text.sh" ] && source "$HOME/.bash_utils/text.sh" |