bash

• Bash: search and replace operation in directory Nov 25, 2024 - 1 min read
• Rewriting the Git history: user name and e-mail Jul 9, 2024 - 2 min read
• Bash: an underestimated tool for development Jan 26, 2024 - 9 min read