shell
2020-03-21
Shell customizations that make my life easier