support compressed files in PageSource (#5880)

gap-system · Jan 1, 2025 · 8cbb303 · 8cbb303
1 parent f578ffa
commit 8cbb303
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/lib/methwhy.g b/lib/methwhy.g
@@ -534,10 +534,15 @@ BIND_GLOBAL("PageSource", function ( fun, nr... )
         else
           Print( "Source not available.\n" );
         fi;
-    elif not (IsExistingFile(f) and IsReadableFile(f)) then
-        Print( "Cannot access code from file \"",f,"\".\n");
     else
+      if not IsExistingFile(f) and IsExistingFile(Concatenation(f, ".gz")) then
+        f:= Concatenation(f, ".gz");
+      fi;
+      if not (IsExistingFile(f) and IsReadableFile(f)) then
+        Print( "Cannot access code from file \"",f,"\".\n");
+      else
         Print( "Showing source in ", f, " (from line ", l, ")\n" );
         Pager(rec(lines := StringFile(f), formatted := true, start := l));
+      fi;
     fi;
 end);