keep sompressed oeis files

Author: ckrause

src/mine/api_client.cpp

@@ -104,10 +104,11 @@ void ApiClient::getOeisFile(const std::string& filename,
 
   // fetch file
   std::string url, ext;
-  if (oeis_fetch_direct && (filename.front() == 'b' || filename == "names" ||
-                            filename == "stripped")) {
+  const bool is_b_file = filename.front() == 'b';
+  if (oeis_fetch_direct &&
+      (is_b_file || filename == "names" || filename == "stripped")) {
     url = "https://www.oeis.org/";
-    if (filename.front() == 'b') {
+    if (is_b_file) {
       auto id = filename.substr(1, 6);
       url += "A" + id + "/" + filename;
     } else {
@@ -134,7 +135,7 @@ void ApiClient::getOeisFile(const std::string& filename,
   }
   if (success) {
     if (ext == ".gz") {
-      Git::gunzip(local_path + ".gz");
+      Git::gunzip(local_path + ".gz", !is_b_file);
     }
     fetched_oeis_files++;
     last_oeis_time = std::chrono::steady_clock::now();

src/sys/git.cpp

@@ -181,12 +181,17 @@ std::vector<std::pair<std::string, std::string>> Git::diffTree(
   return result;
 }
 
-void Git::gunzip(const std::string &path) {
+void Git::gunzip(const std::string &path, bool keep) {
 #ifdef _WIN64
   const std::string gzip_test = "gzip --version " + getNullRedirect();
   if (system(gzip_test.c_str()) != 0) {
     fixWindowsEnv();  // gzip is included in Git for Windows
   }
 #endif
-  execCmd("gzip -f -d \"" + path + "\"");
+  std::string cmd = "gzip -f -d ";
+  if (keep) {
+    cmd += "-k ";
+  }
+  cmd += "\"" + path + "\"";
+  execCmd(cmd);
 }

src/sys/git.hpp

@@ -22,5 +22,5 @@ class Git {
   static std::vector<std::pair<std::string, std::string>> diffTree(
       const std::string &folder, const std::string &commit_id);
 
-  static void gunzip(const std::string &path);
+  static void gunzip(const std::string &path, bool keep);
 };