opened
nicolasstucki
username_0
Add VSCode settings for the dotty project
issue
created
smarter
username_1
I think it would break it (unless you use git update-index --assume-unchanged: http://gitready.com/intermediate/2009/02/18/temporarily-ignoring-files.html), but on the other hand, this appears to be a common things that people do, vscode itself defines settings that way: https://github.com/Microsoft/vscode/blob/master/.vscode/settings.json. So I assume that it's not common to want custom settings for one project, though someone asked for a "settings.local.json" before: https://github.com/Microsoft/vscode/issues/17634#issuecomment-277957930
comment
created
smarter
username_1
one option would be to do as the comment I linked to suggest, have a .vscode-template automatically copied to .vscode on first run (by sbt?).
comment
created
nicolasstucki
username_0
that could work
comment
created
nicolasstucki
username_0
Fixed all comments
comment
created
felixmulder
username_2
@username_1 - can this go in now?
comment
created
DarkDimius
username_3
@username_1 could you please review it today so we can get it into next milestone?
comment
created
smarter
username_1
Sure, but note that this only affects users of the dotty repo, it changes nothing for end users, so it doesn't really matter whether it gets in or not.
comment
created
nicolasstucki
username_0
As @username_1 said, this is just for us. Therefore it is not a priority.
comment