Merge pull request #125 from ThomasBreuer/TB_no_interactive

admit switching off interactive mode
gap-packages · Jun 19, 2024 · 79002e6 · 79002e6
2 parents d047773 + ff3305c
commit 79002e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gap/PackageManager.gi b/gap/PackageManager.gi
@@ -67,9 +67,9 @@ function(string, args...)
   if ForAny(PKGMAN_ArchiveFormats, ext -> EndsWith(string, ext)) then
     return InstallPackageFromArchive(string);
   elif EndsWith(string, ".git") then
-    return InstallPackageFromGit(string);
+    return InstallPackageFromGit(string, interactive);
   elif EndsWith(string, ".hg") then
-    return InstallPackageFromHg(string);
+    return InstallPackageFromHg(string, interactive);
   elif EndsWith(string, "PackageInfo.g") then
     return InstallPackageFromInfo(string);
   fi;