From cbbd23ec075997c5b2ffb634ee03724759fbe58e Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Mon, 10 Aug 2015 20:31:22 +0200
Subject: gnome-shell theme improvements and some osd redesign

---
 common/gnome-shell/3.14/gulpfile.js | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 common/gnome-shell/3.14/gulpfile.js

(limited to 'common/gnome-shell/3.14/gulpfile.js')

diff --git a/common/gnome-shell/3.14/gulpfile.js b/common/gnome-shell/3.14/gulpfile.js
new file mode 100644
index 0000000..230ac9d
--- /dev/null
+++ b/common/gnome-shell/3.14/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