From c4e9b50ca71d47e65cd24ac5d05c60f0562179be Mon Sep 17 00:00:00 2001
From: Matthias Konitzny <konitzny@ibr.cs.tu-bs.de>
Date: Tue, 16 Nov 2021 19:03:10 +0100
Subject: [PATCH] Removed zip from gulp file.
---
gulpfile.js | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/gulpfile.js b/gulpfile.js
index cfa8294..e995770 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -3,7 +3,7 @@
const gulp = require("gulp");
const replace = require("gulp-replace");
-const zip = require("gulp-zip");
+//const zip = require("gulp-zip");
const del = require("del");
const dir = {
@@ -42,12 +42,12 @@ function copyParcel() {
return gulp.src(parcel.src).pipe(gulp.dest(parcel.build));
}
-function zipBuild() {
- return gulp
- .src(dir.build + "**")
- .pipe(zip("knowledge-space.zip"))
- .pipe(gulp.dest(dir.build));
-}
+// function zipBuild() {
+// return gulp
+// .src(dir.build + "**")
+// .pipe(zip("knowledge-space.zip"))
+// .pipe(gulp.dest(dir.build));
+// }
function copyDefaultSpace() {
return gulp
@@ -73,6 +73,6 @@ exports.build = gulp.series(
copyParcel,
copyDefaultSpace,
copyEditorIcons,
- copyBackground,
- zipBuild
+ copyBackground
+ // zipBuild
);
--
GitLab