From ec0499a9dcbbc0772f5120f8a8c2a2a944e77d26 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Sun, 31 Mar 2019 01:12:15 +0000 Subject: [PATCH] Don't register "ini" for all files named "config" --- extensions/ini/package.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extensions/ini/package.json b/extensions/ini/package.json index ea3df33d8df..abe1dbecc65 100644 --- a/extensions/ini/package.json +++ b/extensions/ini/package.json @@ -18,7 +18,8 @@ { "id": "properties", "extensions": [ ".properties", ".cfg", ".conf", ".desktop", ".directory" ], - "filenames": [ "config", ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ], + "filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ], + "filenamePatterns": [ "**/.git/config" ], "aliases": [ "Properties", "properties" ], "configuration": "./properties.language-configuration.json" }],