Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/microsoft/vscode.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoao Moreno <jomo@microsoft.com>2016-09-05 12:29:44 +0300
committerJoao Moreno <jomo@microsoft.com>2016-09-05 12:29:44 +0300
commitc524ef6c7142c8a7304de3f14866793b8f2a69ab (patch)
treed364031538e867bd02f611e64d2c77d6b9a20478 /gulpfile.js
parent3a68dedf805ea554117d5c83ea2533f62d62b483 (diff)
lock distro version
Diffstat (limited to 'gulpfile.js')
-rw-r--r--gulpfile.js3
1 files changed, 2 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'];