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