Commit 404e0c5d94409a6a7342e52b84b4fff41e598597

Improve installing gdbinit include
Avoid grep's error and create config's directory if it doesn't exist.
Author: xaizek
Author date (UTC): 2026-01-11 18:51
Committer name: xaizek
Committer date (UTC): 2026-01-11 18:51
Parent(s): 06d95ac12fbd3e459069d181be284a007d973ff3
Signing key: 99DC5E4DB05F6BE2
Tree: e301e937c7afc60dc10f121426c3fc41fe17ff92
File Lines added Lines deleted
install 3 1
File install changed (mode: 100755) (index dce25e3..3ba5ca6)
... ... fi
98 98 git config --global --add include.path '~/.files/gitconfig' git config --global --add include.path '~/.files/gitconfig'
99 99
100 100 # install gdb config include # install gdb config include
101 if grep --quiet 'source ~/.files/gdbinit' ~/.config/gdb/gdbinit; then
101 if [ -f ~/.config/gdb/gdbinit ] &&
102 grep --quiet 'source ~/.files/gdbinit' ~/.config/gdb/gdbinit; then
102 103 echo 'Skipping ~/.config/gdb/gdbinit ...' echo 'Skipping ~/.config/gdb/gdbinit ...'
103 104 else else
105 mkdir -p ~/.config/gdb/
104 106 echo 'source ~/.files/gdbinit' >> ~/.config/gdb/gdbinit echo 'source ~/.files/gdbinit' >> ~/.config/gdb/gdbinit
105 107 fi fi
Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/dotfiles

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/dotfiles

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master