Miguel Ferreira
Notes
Projects
About
Notes
Projects
About
zsh
2018
Useful bashrc/zshrc functions
Sep 21