diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-09-06 17:33:05 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-09-06 17:33:05 +0300 |
| commit | c96f91321e57fe513fe64380dbbf1e004e3317c9 (patch) | |
| tree | 001a49c279feae1725d9100630bcf4f735782118 | |
| parent | .ssh: authorize GitHub SSH key (diff) | |
| download | linux-home-c96f91321e57fe513fe64380dbbf1e004e3317c9.tar.gz linux-home-c96f91321e57fe513fe64380dbbf1e004e3317c9.zip | |
.bashrc: shut GDB up
| -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" |