Remove some differences from us and vscode (#6421)

* remove some differences from us and vscode

* readd temp-write tpyings
This commit is contained in:
Anthony Dresser
2019-07-18 17:57:00 -07:00
committed by GitHub
parent c23738f935
commit bf4815d364
47 changed files with 8874 additions and 8615 deletions

9
.vscode/launch.json vendored
View File

@@ -70,12 +70,10 @@
"timeout": 20000
},
"osx": {
"runtimeExecutable": "${workspaceFolder}/scripts/sql.sh",
"timeout": 20000
"runtimeExecutable": "${workspaceFolder}/scripts/sql.sh"
},
"linux": {
"runtimeExecutable": "${workspaceFolder}/scripts/sql.sh",
"timeout": 20000
"runtimeExecutable": "${workspaceFolder}/scripts/sql.sh"
},
"env": {
"VSCODE_EXTHOST_WILL_SEND_SOCKET": null
@@ -93,6 +91,9 @@
"request": "launch",
"name": "Launch ADS (Main Process)",
"runtimeExecutable": "${workspaceFolder}/scripts/sql.sh",
"windows": {
"runtimeExecutable": "${workspaceFolder}/scripts/sql.bat",
},
"runtimeArgs": [
"--no-cached-data"
],