Today I Learned

2025/02/14

vscode

That VSCode has a “profiles” mechanism that allows bulk management of settings: https://code.visualstudio.com/docs/editor/profiles. These will make a fine addition to my dotfiles!