Index: docs/vscode.md |
diff --git a/docs/vscode.md b/docs/vscode.md |
index 7418aa02eabae27defba3308735fba4fd91f547e..65fd471035fccffe0b06e5d8d5f9b02ab53ed0c4 100644 |
--- a/docs/vscode.md |
+++ b/docs/vscode.md |
@@ -191,6 +191,14 @@ Remember to replace `<full_path_to_your_home>`! |
"out*/**": true |
}, |
+ "files.watcherExclude": { |
ljusten (tachyonic)
2017/04/27 14:16:24
Out of curiosity, did that cause any issues? Did y
dullweber
2017/04/27 14:27:29
I had the problem that when I run git cl format, v
ljusten (tachyonic)
2017/04/27 15:54:42
Acknowledged.
|
+ // Don't check out/ and third_party/ for changes to fix issue |
+ // where vscode doesn't notice that files have changed. |
+ // https://github.com/Microsoft/vscode/issues/3998 |
+ "**/out/**": true, |
ljusten (tachyonic)
2017/04/27 14:16:24
Suggest to use **/out*/** since IIRC some Chrome O
dullweber
2017/04/27 14:27:29
files.exlude is not applied to the watcher for som
ljusten (tachyonic)
2017/04/27 15:54:42
The chromeos folders are regular build folders, so
|
+ "**/third_party/**": true |
ljusten (tachyonic)
2017/04/27 14:16:24
The initial **/ seems unnecessary (files.excludes
dullweber
2017/04/27 14:27:29
It is currently required to have the initial **/,
ljusten (tachyonic)
2017/04/27 15:54:42
Acknowledged.
|
+ }, |
+ |
// Wider author column for annotator extension. |
"annotator.annotationColumnWidth": "24em", |