shell

March 21, 2020
Shell customizations that make my life easier