Skip to content

Instantly share code, notes, and snippets.

🎯
Focusing

Venkatesh Dayananda vdayanand

🎯
Focusing
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
vdayanand / UpdateRegistry.jl
Last active Aug 8, 2019
UpdateRegistry.jl
View UpdateRegistry.jl
using Pkg, LibGit2, CredentialsHandler
function update_registry(name)
tmpdir = mktempdir()
tmpfile = joinpath(tmpdir, "tmp.tar.gz")
CredentialsHandler.download("$(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.