git: path config

2026-04-28 04:23:32 +01:00 · 2017-01-31 16:50:30 +01:00
parent 1d8b5444b2
commit 51f3f40a1a
2 changed files with 9 additions and 2 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -373,6 +373,12 @@
    "configuration": {
      "title": "Git",
      "properties": {
+        "git.path": {
+          "type": ["string", "null"],
+          "description": "%config.path%",
+          "default": null,
+          "isExecutable": true
+        },
        "git.autorefresh": {
          "type": "boolean",
          "description": "%config.autorefresh%",