From f8130425008192f1ac24069ac0c5cf15814148e6 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Sun, 18 Dec 2022 19:16:36 -0500 Subject: [PATCH] Detect if the registry is already installed via tarball (#25) --- add_general_registry.jl | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/add_general_registry.jl b/add_general_registry.jl index 036a9b2..fce71d8 100644 --- a/add_general_registry.jl +++ b/add_general_registry.jl @@ -1,13 +1,24 @@ using Pkg -function general_registry_location() +function tarball_general_registry_location() + reg_dir = joinpath(DEPOT_PATH[1], "registries") + general_registry_tarball = joinpath(reg_dir, "General.tar.gz") + registry_toml_file = joinpath(reg_dir, "General.toml") + return general_registry_tarball, registry_toml_file +end + +function cloned_general_registry_location() general_registry_dir = joinpath(DEPOT_PATH[1], "registries", "General") registry_toml_file = joinpath(general_registry_dir, "Registry.toml") return general_registry_dir, registry_toml_file end function general_registry_exists() - general_registry_dir, registry_toml_file = general_registry_location() + general_registry_tarball, registry_toml_file = tarball_general_registry_location() + if isfile(general_registry_tarball) && isfile(registry_toml_file) + return true + end + general_registry_dir, registry_toml_file = cloned_general_registry_location() if !isdir(general_registry_dir) return false elseif !isfile(registry_toml_file)