make the azdata install url configurable (#7989)

* make the azdata install url configurable

* use settings without reloading

* comments
This commit is contained in:
Alan Ren
2019-10-24 14:57:17 -07:00
committed by Karl Burtram
parent 910dc32623
commit 10a7b47604
8 changed files with 73 additions and 28 deletions

View File

@@ -25,6 +25,23 @@
"microsoft.notebook"
],
"contributes": {
"configuration": [
{
"title": "%deployment.configuration.title%",
"properties": {
"deployment.azdataPipInstallUri": {
"type": "string",
"default": "https://aka.ms/azdata",
"description": "%azdata-pip-install-uri-description%"
},
"deployment.azdataPipInstallArgs": {
"type": "string",
"default": "",
"description": "%azdata-pip-install-args-description%"
}
}
}
],
"commands": [
{
"command": "azdata.resource.deploy",