Johannes Rieken
|
bd5f9f5801
|
disable monaco-typecheck-watch because it seems to stall
|
2018-04-09 14:18:08 +02:00 |
|
Johannes Rieken
|
03eb7931ae
|
add monaco-typecheck tasks and add them to the compile/watch tasks
|
2018-04-05 10:00:50 +02:00 |
|
Joao Moreno
|
5ba8940d62
|
catch unhandled promise rejections in build
|
2017-01-13 09:12:06 +01:00 |
|
Joao Moreno
|
d2fa62d13d
|
cleanup extensions menu
fixes #14384
|
2016-10-31 11:27:45 +01:00 |
|
Alex Dima
|
b00c572927
|
Fix missing copyright header
|
2016-10-21 09:38:14 +02:00 |
|
Alex Dima
|
fcbe48844e
|
Add monaco-editor-setup script
|
2016-10-21 09:16:06 +02:00 |
|
Alex Dima
|
d7930ec63d
|
Fix issue in util.setExecutableBit
|
2016-10-20 15:30:53 +02:00 |
|
Alex Dima
|
05c0eee675
|
extract test task to build/gulpfile.test.js
|
2016-10-20 15:15:29 +02:00 |
|
Alex Dima
|
a2c9dfa94d
|
extract mixin task to build/gulpfile.mixin.js
|
2016-10-20 15:13:58 +02:00 |
|
Alex Dima
|
9f0f868c65
|
Extract client compilation code out of gulpfile.js
|
2016-10-20 15:00:05 +02:00 |
|
Alex Dima
|
3d726b59c1
|
Convert build/lib/reporter.js to TypeScript
|
2016-10-20 15:00:04 +02:00 |
|
Benjamin Pasero
|
8531bff95a
|
Revert "Add monaco-editor-setup script"
This reverts commit 9e1b35badb .
|
2016-10-20 06:29:12 +02:00 |
|
Alex Dima
|
9e1b35badb
|
Add monaco-editor-setup script
|
2016-10-19 18:56:31 +02:00 |
|
Alex Dima
|
3974c1e374
|
Load all gulpfiles only if necessary
|
2016-10-19 17:58:50 +02:00 |
|
Joao Moreno
|
c524ef6c71
|
lock distro version
|
2016-09-05 11:29:44 +02:00 |
|
Joao Moreno
|
e48ffc1d71
|
dynamically require gulp files
|
2016-07-20 11:00:50 +02:00 |
|
Joao Moreno
|
1ef9a66db0
|
Revert "revert changes to gulp files"
This reverts commit 23afe96996 .
|
2016-07-12 17:12:38 +02:00 |
|
Joao Moreno
|
23afe96996
|
revert changes to gulp files
Revert "oops"
This reverts commit 2be0f1d8cd .
Revert "cleanup top level gulpfile"
This reverts commit 849311713d .
Revert "use strict"
This reverts commit b6b7e82041 .
Revert "forgot top level"
This reverts commit 1552828709 .
Revert "remove VSCODE_BUILD_QUIET"
This reverts commit 8df5e70d12 .
|
2016-07-12 11:47:48 +02:00 |
|
Joao Moreno
|
2be0f1d8cd
|
oops
|
2016-07-12 11:28:48 +02:00 |
|
Joao Moreno
|
849311713d
|
cleanup top level gulpfile
|
2016-07-12 11:12:50 +02:00 |
|
Joao Moreno
|
1552828709
|
forgot top level
|
2016-07-12 10:59:34 +02:00 |
|
Joao Moreno
|
8df5e70d12
|
remove VSCODE_BUILD_QUIET
|
2016-07-12 10:47:19 +02:00 |
|
Alex Dima
|
7e7837ba66
|
Faster gulp compile tasks
|
2016-06-24 18:47:26 +02:00 |
|
Alex Dima
|
f5f5eb60b3
|
Improve monaco.d.ts generation task
|
2016-06-24 18:47:26 +02:00 |
|
Alex Dima
|
553eae98a7
|
Remove deprecated methods
|
2016-06-24 15:05:58 +02:00 |
|
Dirk Baeumer
|
4e2e9302d3
|
Fixing monaco.d.ts generation
|
2016-06-24 11:15:39 +02:00 |
|
Alex Dima
|
8fd51f85b9
|
Generate monaco.d.ts continuously and check it in build
|
2016-06-10 18:40:32 +02:00 |
|
Alex Dima
|
90eb74e313
|
Delete code that was extracted to other repos
|
2016-06-08 10:17:51 +02:00 |
|
isidor
|
11dde1e887
|
fix type that is causing build to fail
|
2016-05-20 18:17:40 +02:00 |
|
Alex Dima
|
0519a269ec
|
First cut at monaco editor d.ts auto-generation
|
2016-05-20 17:45:42 +02:00 |
|
Joao Moreno
|
bbe568570c
|
fix build
|
2016-03-16 17:43:18 +01:00 |
|
Joao Moreno
|
c4cfb09a3c
|
fix gulp tasks for extensions-build
|
2016-03-08 10:43:43 +01:00 |
|
Joao Moreno
|
b027a0c492
|
fix up lint errors, cleanup build folder
|
2016-03-07 12:56:32 +01:00 |
|
Joao Moreno
|
9f8ee47b02
|
extract gulpfile rebase
|
2016-03-07 12:27:10 +01:00 |
|
Alex Dima
|
18c4629511
|
Rename gulp tasks around extensions
|
2016-03-01 11:40:18 +01:00 |
|
Alex Dima
|
1a97264011
|
gulpfile.plugins -> gulpfile.extensions
|
2016-03-01 11:40:17 +01:00 |
|
Alex Dima
|
d5c3c10920
|
Fix remaining 'super' must be called before accessing 'this' errors
|
2016-02-23 14:19:14 +01:00 |
|
Joao Moreno
|
9b8f0a7d6f
|
omit 'this before super' errors from build
|
2016-02-23 10:23:27 +01:00 |
|
Joao Moreno
|
c6ae31a9ae
|
make build fail on compile errors
|
2016-02-23 09:33:16 +01:00 |
|
Dirk Baeumer
|
ab014838b7
|
Fixes #3030
|
2016-02-18 17:54:16 +01:00 |
|
Joao Moreno
|
0ab005e028
|
don't ignore mixin setting
|
2016-01-28 11:21:19 +01:00 |
|
Joao Moreno
|
dc4cc72aa7
|
pick up quality folder during gulp mixin
|
2016-01-19 11:26:23 +01:00 |
|
Alex Dima
|
2dd593fe8a
|
Improve gulp hygiene filters to cover top level files
|
2015-12-17 16:04:06 +01:00 |
|
Joao Moreno
|
9b5899187d
|
gulp hygiene
|
2015-11-24 19:09:38 +01:00 |
|
isidor
|
958bdd6ad2
|
copyrights: use nicer gulp globing
fixes #260
|
2015-11-23 20:27:54 +01:00 |
|
Joao Moreno
|
9731e5287c
|
quieter build
|
2015-11-20 09:24:36 +01:00 |
|
Joao Moreno
|
a0c6a74e24
|
quiet build
|
2015-11-20 09:10:06 +01:00 |
|
Joao Moreno
|
cc24139a40
|
VSCODE_BUILD_QUIET
|
2015-11-20 08:48:59 +01:00 |
|
Joao Moreno
|
2a29c3b6b5
|
➡ gulpfiles into build
fixes #196
|
2015-11-19 15:47:33 +01:00 |
|
Alex Dima
|
8883fcd03b
|
Leading whitespace fixes
|
2015-11-19 12:56:08 +01:00 |
|