Commit graph

4 commits

Author SHA1 Message Date
zowoq 322f0bd565 vscode-extensions: editorconfig fixes 2020-08-30 17:10:53 -07:00
Moises Nessim 673b122836 Use a different vscode user-data-dir for every project.
Treat workspace setting files as global for that user-data-dir with symlink.
Add updateLaunchCmd to update .vscode/launch.json.
2020-05-22 15:27:32 -05:00
Oren Rozen 7e929f5437 change vscodeSettingsFile parameter type from path to string 2020-04-19 21:32:36 -05:00
Oren Rozen a535e7a04f add updateSettings drv which will union nix settings configurations into the a vscode settings file 2020-04-19 21:32:36 -05:00