aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--%HOME%/.bashrc3
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"