]> git.r.bdr.sh - rbdr/dotfiles/history - zsh
Remove snippets warning in coq
[rbdr/dotfiles] / zsh /
2024-01-29 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2024-01-25 Ruben Beltran del RioMake status print correctly
2024-01-25 Ruben Beltran del RioAdjust startup logic
2023-08-30 Ruben Beltran del RioUse a lighter git info
2023-07-18 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2023-06-14 Ruben Beltran del RioCorrect alias for graphicsmagick
2023-03-19 Ruben Beltran del RioFix some skhdrc configs
2023-03-19 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2023-03-19 Ruben Beltran del RioUpdate zsh conf
2022-09-16 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2022-09-16 Ruben Beltran del RioMerge branch 'main' of git.sr.ht:~rbdr/dotfiles
2022-07-06 Ruben Beltran del RioAllow for local tool versions
2022-04-15 Ruben Beltran del RioMerge branch 'main' of gitlab.com:rbdr/dotfiles
2021-11-10 Ruben Beltran del RioIgnore python files in arbol
2021-11-10 Ruben Beltran del RioAdd prettify JSON function
2021-07-14 Ruben Beltran del RioShow shell version of asdf shims
2021-06-28 Ruben Beltran del RioSimplify prompt functions
2021-06-24 Ruben Beltran del RioAdd asdf config
2020-09-23 Ruben Beltran del RioAdd figlet sample
2020-09-22 Ruben Beltran del RioUse text instead of symbols and emoji
2020-05-24 Ben BeltranMerge branch 'master' of gitlab.com:rbdr/dotfiles
2020-03-02 Ben BeltranRestore Ctrl+R for backward search
2020-02-20 Ben BeltranDeal with double width chars
2020-02-16 Ben BeltranAdd an additional space in the right promptb
2020-02-16 Ben BeltranAdd checkout shortcut
2020-02-16 Ben BeltranRemove prezto
2020-02-16 Ben BeltranAdd syntax highlighting submodule
2019-12-22 Ben BeltranAdd simplified modules