diff options
| author | Joao Moreno <jomo@microsoft.com> | 2016-09-05 12:29:44 +0300 |
|---|---|---|
| committer | Joao Moreno <jomo@microsoft.com> | 2016-09-05 12:29:44 +0300 |
| commit | c524ef6c7142c8a7304de3f14866793b8f2a69ab (patch) | |
| tree | d364031538e867bd02f611e64d2c77d6b9a20478 | |
| parent | 3a68dedf805ea554117d5c83ea2533f62d62b483 (diff) | |
lock distro version
| -rw-r--r-- | gulpfile.js | 3 | ||||
| -rw-r--r-- | package.json | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index 204ac7b60c0..3a90599b4fd 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -29,6 +29,7 @@ const assign = require('object-assign'); const monacodts = require('./build/monaco/api'); const fs = require('fs'); const glob = require('glob'); +const pkg = require('./package.json'); const rootDir = path.join(__dirname, 'src'); const options = require('./src/tsconfig.json').compilerOptions; @@ -215,7 +216,7 @@ gulp.task('mixin', function () { return; } - const url = 'https://github.com/' + repo + '/archive/master.zip'; + const url = `https://github.com/${ repo }/archive/${ pkg.distro }.zip`; const opts = { base: '' }; const username = process.env['VSCODE_MIXIN_USERNAME']; const password = process.env['VSCODE_MIXIN_PASSWORD']; diff --git a/package.json b/package.json index 9c3d7c485fa..907a3a66ebc 100644 --- a/package.json +++ b/package.json @@ -2,6 +2,7 @@ "name": "code-oss-dev", "version": "1.5.0", "electronVersion": "0.37.6", + "distro": "c26eaaa8f54b3209a1e2418c9b1010cca4650620", "author": { "name": "Microsoft Corporation" }, |