gnome-shell theme improvements and some osd redesign

1 files changed, 18 insertions, 0 deletions

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']);