Asher
|
2be452d83e
|
Fix rg extraction in Docker build
|
2019-07-18 18:09:24 -05:00 |
|
Asher
|
83819cb3f9
|
Fix vscode-ripgrep rebuild error
|
2019-07-18 18:09:18 -05:00 |
|
Asher
|
9446cc8245
|
Update Dockerfile
|
2019-07-18 18:09:15 -05:00 |
|
Asher
|
2b2aa9a211
|
Add https server
|
2019-07-18 18:09:09 -05:00 |
|
Asher
|
81862d4fa1
|
Add back (most of) our old arguments
Also remove VS Code ones that don't work.
|
2019-07-18 18:08:38 -05:00 |
|
Asher
|
2fdf09e6e7
|
Include version when building
|
2019-07-18 18:08:37 -05:00 |
|
Asher
|
54ffd1d351
|
Make extension sidebar work
|
2019-07-18 18:08:36 -05:00 |
|
Asher
|
a20fa4a97a
|
Implement extensions channel
|
2019-07-18 18:08:32 -05:00 |
|
Asher
|
f51751ad21
|
Replace jq with some JavaScript
|
2019-07-18 18:08:31 -05:00 |
|
Asher
|
3ca90a5f89
|
Use nbin in forked processes
|
2019-07-18 18:08:30 -05:00 |
|
Asher
|
f8f4bfd76f
|
Customize JSON files with code-server name
|
2019-07-18 18:08:28 -05:00 |
|
Asher
|
5677ff2edf
|
Add build scripts
|
2019-07-18 18:08:27 -05:00 |
|