Commit Graph

21 Commits

Author SHA1 Message Date
Asher
ce3b7dfb1e
Use readlink -f if realpath isn't available 2019-08-19 16:59:36 -05:00
Asher
07ec4ca63e
Fix PHP syntax highlighting 2019-08-14 16:20:17 -05:00
Asher
ba7285192c
Update VS Code to 1.37.0 2019-08-09 19:23:41 -05:00
Asher
f5a6f14ade
Implement update service 2019-08-07 16:18:17 -05:00
Asher
01a9ab332e
Set commit based on code-server instead of VS Code
This ensures it'll be different for each build, otherwise it would also
be the same as long as the VS Code version is the same.
2019-08-07 15:13:39 -05:00
Asher
dc333d4321
Fix extensions not being bundled into prebuilt 2019-08-05 13:05:09 -05:00
Asher
590f699687
Allow specifying the target
You still must build on the target system though because of the native
Node modules.
2019-08-05 11:03:47 -05:00
Asher
950bfce420
Add commit, date, and checksums to product.json 2019-08-02 20:29:48 -05:00
Asher
712274d912
Groundwork for language support
- Implement the localization service.
- Use the proper build process which generates the require JSON files.
- Implement getting the locale and language configuration.
2019-08-02 19:29:00 -05:00
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