From e32e20c7ca3b63dafa85a3a0eca9515d055e9657 Mon Sep 17 00:00:00 2001
From: Kristoffer Carlsson <kcarlsson89@gmail.com>
Date: Tue, 7 Feb 2023 13:26:57 +0100
Subject: [PATCH] give a hint towards `Base.retry_load_extensions` when an
 extension fails to load (#48571)

---
 base/loading.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/base/loading.jl b/base/loading.jl
index 340e4625a3188..7ad877153e45d 100644
--- a/base/loading.jl
+++ b/base/loading.jl
@@ -1188,7 +1188,8 @@ function run_extension_callbacks(extid::ExtensionId)
         true
     catch
         # Try to continue loading if loading an extension errors
-        @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name)"
+        @error "Error during loading of extension $(extid.id.name) of $(extid.parentid.name), \
+                use `Base.retry_load_extensions()` to retry."
         false
     end
     return succeeded