Dotfiles Personal configuration files for various applications. Dumping VSCode extensions: $ code --list-extensions > extensions.txt