diff options
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index 620b9b663..195e3f3ca 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -126,11 +126,17 @@ gulp.task('manifest:production', function() { './dist/firefox/manifest.json', './dist/chrome/manifest.json', './dist/edge/manifest.json', + './dist/opera/manifest.json', ],{base: './dist/'}) + + // Exclude chromereload script in production: .pipe(gulpif(!debug,jsoneditor(function(json) { - json.background.scripts = ["scripts/background.js"] + json.background.scripts = json.background.scripts.filter((script) => { + return !script.includes('chromereload') + }) return json }))) + .pipe(gulp.dest('./dist/', { overwrite: true })) }) |