From 84d5b890adfa2a7e0a1f08931318b80b755dfd7b Mon Sep 17 00:00:00 2001 From: Doug Torrance Date: Tue, 20 Aug 2024 21:12:29 -0400 Subject: [PATCH] Set User.PackageIsLoaded to true Usually set by endPackage, but that isn't called for User --- M2/Macaulay2/m2/last.m2 | 1 + 1 file changed, 1 insertion(+) diff --git a/M2/Macaulay2/m2/last.m2 b/M2/Macaulay2/m2/last.m2 index 22381955cd8..9afc9638d8f 100644 --- a/M2/Macaulay2/m2/last.m2 +++ b/M2/Macaulay2/m2/last.m2 @@ -39,6 +39,7 @@ addStartFunction( Headline => "default package for interpreter interactions", DebuggingMode => true, PackageImports => if isMember("--no-preload", commandLine) then {} else Core#"preloaded packages"); + User.PackageIsLoaded = true; path = prepend("./",path); -- now we search also the user's current directory, since our files have already been loaded path = unique apply( path, minimizeFilename); -- beautify allowLocalCreation User#"private dictionary";