added config option git.cloneDirectory, defaulting to os.homedir()

2026-04-24 10:38:59 +01:00 · 2017-04-18 15:26:28 +03:00
parent 65e90f859b
commit f19aa21df8
4 changed files with 16 additions and 2 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -618,6 +618,11 @@
          "type": "boolean",
          "description": "%config.ignoreLegacyWarning%",
          "default": false
+        },
+        "git.cloneDirectory": {
+          "type": "string",
+          "default": null,
+          "description": "%config.cloneDirectory%"
        }
      }
    }