Improve progress indicator

2017-05-16 16:09:57 +02:00
parent e80257f122
commit b01d62285c
26 changed files with 339 additions and 168 deletions
@@ -17,7 +17,7 @@ Path exportGit(ref<Store> store, const std::string & uri, const std::string & re
        runProgram("git", true, { "init", "--bare", cacheDir });
    }

-    Activity act(*logger, lvlInfo, format("fetching Git repository ‘%s’") % uri);
+    //Activity act(*logger, lvlInfo, format("fetching Git repository ‘%s’") % uri);

    std::string localRef = "pid-" + std::to_string(getpid());
    Path localRefFile = cacheDir + "/refs/heads/" + localRef;