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