256419004d
Implement cli parser
2020-02-07 14:43:08 -06:00
a149c5fc60
Pass arguments to code-server during watch
2020-02-05 14:48:15 -06:00
6e809b6a31
Handle when VS Code fails to load
...
This is mostly for development where VS Code might not have finished
compiling yet.
2020-02-05 14:23:42 -06:00
8cc11d1688
Improve routing
2020-02-05 13:07:07 -06:00
b29346ecdf
Implement new structure
2020-02-04 14:31:44 -06:00
e6d1f2a7c8
Update VS Code to 1.41.0
2019-12-16 16:52:29 -06:00
015a99e87d
Always install VS Code dependencies
...
This fixes the case where the script is killed before all the
dependencies were fully installed.
2019-12-09 10:55:24 -06:00
168ccb0dfc
Prevent cache changes when patch updates
2019-10-25 13:12:04 -05:00
cc7585bbc2
Port onigasm fix for PHP
2019-10-22 11:39:00 -05:00
14a0cd3ffd
Remove build files in source
...
They aren't used in subsequent files and just slow down CI since it has
to extract from the cache and then package the changes.
2019-10-22 11:26:46 -05:00
3ff83eda45
Ensure VS Code dependencies and built-in extensions exist
...
Fixes #1087 .
2019-10-22 10:49:00 -05:00
f133b00851
Fix darwin detection
2019-10-21 16:51:01 -05:00
ece840834d
Move login page to browser directory
...
Fixes it not being included in the optimized build as well as making it
more consistent.
2019-10-21 15:02:41 -05:00
76f6ff4145
Fix alpine check
2019-10-21 14:09:04 -05:00
82e2b8a169
Move source to its own directory
...
This matches how the rest of the build is organized but also hopefully
solves an issue where the VS Code directory is empty because we try to
cache it directly and Travis might be creating it.
2019-10-21 11:16:47 -05:00
4cd2f2cd52
Simplify build and development steps
2019-10-18 19:10:55 -05:00
bdd11f741b
Update to 1.39.2
...
Also too the opportunity to rewrite the build script since there was a
change in the build steps (mainly how the product JSON is inserted) and
to get the build changes out of the patch. It also no longer relies on
external caching (we'll want to do this within CI instead).
2019-10-18 18:20:02 -05:00
