xaizek / dotfiles (License: Unspecified) (since 2018-12-07)
Various dotfiles.
Clone URLs: https://code.reversed.top/user/xaizek/dotfiles ssh://rocketgit@code.reversed.top/user/xaizek/dotfiles
master
Commit 06d95ac12fbd3e459069d181be284a007d973ff3

Add gdbinit include with history settings
Author: xaizek
Author date (UTC): 2026-01-11 18:48
Committer name: xaizek
Committer date (UTC): 2026-01-11 18:48
Parent(s): b96ee188cbec6ddbe9ff04cdf9f04109bd6099dc
Signing key: 99DC5E4DB05F6BE2
Tree: cf4c0d8106c7609c69d167688f09e333aee8caf2
File Lines added Lines deleted
gdbinit 4 0
install 7 0
File gdbinit added (mode: 100644) (index 0000000..412bdc4)
1 # save command history between sessions
2 set history filename ~/.config/gdb/gdb_history
3 set history save
4 set history size unlimited
File install changed (mode: 100755) (index d476426..dce25e3)
... ... fi
96 96
97 97 # install git config include # install git config include
98 98 git config --global --add include.path '~/.files/gitconfig' git config --global --add include.path '~/.files/gitconfig'
99
100 # install gdb config include
101 if grep --quiet 'source ~/.files/gdbinit' ~/.config/gdb/gdbinit; then
102 echo 'Skipping ~/.config/gdb/gdbinit ...'
103 else
104 echo 'source ~/.files/gdbinit' >> ~/.config/gdb/gdbinit
105 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