From 403531e1a88f7163920e9ece386329f580c926b7 Mon Sep 17 00:00:00 2001 From: Dilum Aluthge Date: Wed, 4 Dec 2024 21:10:46 -0500 Subject: [PATCH] Add a comment --- pysr/julia_registry_helper.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/pysr/julia_registry_helper.py b/pysr/julia_registry_helper.py index ed1af688..087308fa 100644 --- a/pysr/julia_registry_helper.py +++ b/pysr/julia_registry_helper.py @@ -19,6 +19,13 @@ def backup_juliaregistrypref(): # If the user has not set the JULIA_PKG_SERVER_REGISTRY_PREFERENCE environment variable, then # we set it temporarily, and unset it when we are done. old_value = None + + # We will set the JULIA_PKG_SERVER_REGISTRY_PREFERENCE to `eager`. + # Note: in upstream Julia/Pkg, the default value is `conservative`. + # Therefore, by setting it to `eager`, we are overriding the default. + # Because we are deviating from the default behavior that would normally be expected in Julia, + # I think that it's a good idea to print an informational message, so that the user is aware + # of the change being made. info_msg = """\ INFO: Attempting to use the `eager` registry flavor of the Julia General registry from the Julia Pkg server. If any errors are encountered, try setting the `{name}` environment variable to `conservative`.