From 9c05f55185b6f95d0d7088a183c2ac2c3207165d Mon Sep 17 00:00:00 2001 From: Simon Lydell Date: Sun, 6 May 2018 13:37:52 +0200 Subject: [PATCH] Fix `gulp lint` --- gulpfile.coffee | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/gulpfile.coffee b/gulpfile.coffee index a827df5..4b9573c 100644 --- a/gulpfile.coffee +++ b/gulpfile.coffee @@ -147,12 +147,21 @@ gulp.task('push', gulp.series('xpi', 'push-only')) gulp.task('default', gulp.series('push')) -gulp.task('lint', -> +# coffeelint-forbidden-keywords has `require('coffee-script/register');` in its +# index.js :( +gulp.task('lint-workaround', -> + gulp.src('node_modules/coffeescript/') + .pipe(gulp.symlink('node_modules/coffee-script')) +) + +gulp.task('lint-only', -> gulp.src(['extension/**/*.coffee', 'gulpfile.coffee']) .pipe(coffeelint()) .pipe(coffeelint.reporter()) ) +gulp.task('lint', gulp.series('lint-workaround', 'lint-only')) + gulp.task('sloc', -> gulp.src([ 'extension/bootstrap.coffee' -- 2.39.3