You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/Spago/Registry.purs
+24-7Lines changed: 24 additions & 7 deletions
Original file line number
Diff line number
Diff line change
@@ -188,6 +188,16 @@ getRegistryFns registryBox registryLock = do
188
188
189
189
-- Now that we are up to date with the Registry we init/refresh the database
190
190
updatePackageSetsDb db
191
+
192
+
-- Check if registry directories exist when offline - the build should have already failed by now, but just in case..
193
+
case offline of
194
+
Offline->do
195
+
unlessM (FS.exists Paths.registryPath) $
196
+
die "You are offline and the Registry is not cached locally. Please connect to the internet and run 'spago install' to cache the registry."
197
+
unlessM (FS.exists Paths.registryIndexPath) $
198
+
die "You are offline and the Registry Index is not cached locally. Please connect to the internet and run 'spago install' to cache the registry index."
199
+
_ -> pure unit
200
+
191
201
pure fetchingFreshRegistry
192
202
193
203
-- | Update the database with the latest package sets
@@ -211,12 +221,19 @@ getRegistryFns registryBox registryLock = do
211
221
-- | List all the package sets versions available in the Registry repo
0 commit comments