From ff3305c9dd754d063a824dd3c7ca1048a37682e7 Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Tue, 18 Jun 2024 16:29:58 +0200 Subject: [PATCH] admit switching off interactive mode pass on the `interactive` flag from `InstallPackage` also to `InstallPackageFromGit` and `InstallPackageFromHg`, not only to `InstallPackageFromName` --- gap/PackageManager.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gap/PackageManager.gi b/gap/PackageManager.gi index 4c39d80..fed5b7f 100644 --- 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;