Skip to content

Instantly share code, notes, and snippets.


Venkatesh Dayananda vdayanand

Block or report user

Report or block vdayanand

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
vdayanand / UpdateRegistry.jl
Last active Aug 8, 2019
View UpdateRegistry.jl
using Pkg, LibGit2, CredentialsHandler
function update_registry(name)
tmpdir = mktempdir()
tmpfile = joinpath(tmpdir, "tmp.tar.gz")"$(ENV["JULIA_PKG_SERVER"])/$(name).tar.gz", tmpfile)
@info "Downloaded Registry tmp at ", tmpfile
dest = joinpath(Pkg.depots1(), "registries")
@static if Sys.iswindows()
run(`$(joinpath(Sys.BINDIR, "7z.exe")) x -y $(tmpfile) -o$(tmpdir) -r`)
You can’t perform that action at this time.