# shell

~/tags/shell

Amending the author of a Git commit Jul 30, 2024
How to split a Git subdirectory into a new repo Jul 29, 2024
Show dd copy progress Jun 23, 2024
Search for a string across all git branches May 28, 2024
Ignore a folder with ripgrep Feb 26, 2024
Profiling zsh and fixing my slow shell Feb 16, 2024