Skip to content

Commit f813042

Browse files
Detect if the registry is already installed via tarball (#25)
1 parent 139ec78 commit f813042

File tree

1 file changed

+13
-2
lines changed

1 file changed

+13
-2
lines changed

add_general_registry.jl

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,24 @@
11
using Pkg
22

3-
function general_registry_location()
3+
function tarball_general_registry_location()
4+
reg_dir = joinpath(DEPOT_PATH[1], "registries")
5+
general_registry_tarball = joinpath(reg_dir, "General.tar.gz")
6+
registry_toml_file = joinpath(reg_dir, "General.toml")
7+
return general_registry_tarball, registry_toml_file
8+
end
9+
10+
function cloned_general_registry_location()
411
general_registry_dir = joinpath(DEPOT_PATH[1], "registries", "General")
512
registry_toml_file = joinpath(general_registry_dir, "Registry.toml")
613
return general_registry_dir, registry_toml_file
714
end
815

916
function general_registry_exists()
10-
general_registry_dir, registry_toml_file = general_registry_location()
17+
general_registry_tarball, registry_toml_file = tarball_general_registry_location()
18+
if isfile(general_registry_tarball) && isfile(registry_toml_file)
19+
return true
20+
end
21+
general_registry_dir, registry_toml_file = cloned_general_registry_location()
1122
if !isdir(general_registry_dir)
1223
return false
1324
elseif !isfile(registry_toml_file)

0 commit comments

Comments
 (0)