1
0
mirror of https://github.com/coder/code-server.git synced 2024-12-05 07:13:06 +08:00
code-server/scripts
Asher 62719ab544
Clean up client API
- Don't use "any" for the API type.
- Remove everything from the Coder API that can eventually be done
  through the VS Code API.
- Move the event emission to our own client to minimize patching.
2019-07-31 17:22:15 -05:00
..
ci.bash TLS socket still doesn't work 2019-07-26 17:26:45 -05:00
merge.js Add comment explaining use of merge 2019-07-31 17:22:11 -05:00
nbin-shim.js Add comment for the nbin shim 2019-07-31 17:22:14 -05:00
nbin.js Add build scripts 2019-07-18 18:08:27 -05:00
package.json Replace jq with some JavaScript 2019-07-18 18:08:31 -05:00
product.json Customize JSON files with code-server name 2019-07-18 18:08:28 -05:00
tasks.bash Fix rg extraction in Docker build 2019-07-18 18:09:24 -05:00
vscode.patch Clean up client API 2019-07-31 17:22:15 -05:00