# 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