gruntfile: clean collection after unzipping

Co-authored-by: Alberto Merino <[email protected]> Co-authored-by: Enric Morales <[email protected]> Co-authored-by: Roland Coeurjoly <[email protected]> If we run the `clean:collection` task after unzipping, we allow downloading the file manually into the cache directory so that the unzip task doesn't try downloading it again.
FPGAwars · Jul 10, 2024 · f599b35 · f599b35
1 parent 14d4d8d
commit f599b35
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/Gruntfile.js b/Gruntfile.js
@@ -693,9 +693,10 @@ module.exports = function (grunt) {
   //-- This task is called in the npm postinstallation
   //-- (after npm install is executed)
   grunt.registerTask("getcollection", [
-    "clean:collection",  //-- Remove previous collection downloaded
+    "clean:collection",  //-- Remove previously installed collection
     "wget:collection",   //-- Download the collection
-    "unzip"              //-- Unzip the collection (install it)
+    "unzip",             //-- Unzip the collection (install it)
+    "clean:collectionFile" //-- Remove cached collection file
   ]);
 
   //-- grunt server
@@ -733,7 +734,11 @@ module.exports = function (grunt) {
 
       //-- Remove the default collection (which is installed when 
       //-- npm install is executed initially
-      collection: [DEFAULT_COLLECTION_FOLDER, CACHE_DEFAULT_COLLECTION_FILE],
+      collection: [DEFAULT_COLLECTION_FOLDER],
+
+      //-- Remove the downloaded collection file
+      //-- that is fetched with wget:collection
+      collectionFile: [CACHE_DEFAULT_COLLECTION_FILE],
     },
 
     //-- Get the English texts from the .js and .html files