From 38a1e46559e71646df76bb08a087abbb9693ebea Mon Sep 17 00:00:00 2001 From: Horst3180 Date: Sat, 12 Sep 2015 18:36:34 +0200 Subject: gnome-shell: update to 3.18 --- common/gnome-shell/3.18/gulpfile.js | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 common/gnome-shell/3.18/gulpfile.js (limited to 'common/gnome-shell/3.18/gulpfile.js') diff --git a/common/gnome-shell/3.18/gulpfile.js b/common/gnome-shell/3.18/gulpfile.js new file mode 100644 index 0000000..230ac9d --- /dev/null +++ b/common/gnome-shell/3.18/gulpfile.js @@ -0,0 +1,18 @@ +var gulp = require("gulp"); +var sass = require("gulp-sass"); +var filter = require('gulp-filter'); + +gulp.task('sass', function () { + return gulp.src('sass/*.scss') + .pipe(sass({ + outputStyle: 'nested', + precision: 5, + onError: function (err) { + notify().write(err); + } + })) + .pipe(gulp.dest('.')) +}); + + +gulp.task('default', ['sass']); -- cgit v1.2.3