Useful shell scripts

Updated 9 months ago

My personal website

Updated 9 months ago

Configuration files for BASH and other apps

Updated 9 months ago