Specify remote/branch to pull from
This commit is contained in:
parent
4d41f1379c
commit
8070522b82
|
@ -81,7 +81,7 @@ end
|
|||
function update()
|
||||
(; startup, setup) = _install_paths()
|
||||
if readline(startup) != STARTUP_MANAGED_MESSAGE
|
||||
@warn "Startup.jl is not managed by Setup, re-installing"
|
||||
@warn "startup.jl is not managed by Setup, re-installing"
|
||||
return install()
|
||||
else
|
||||
write(startup, STARTUP_CONTENT)
|
||||
|
@ -90,6 +90,9 @@ function update()
|
|||
ispath(setup) || @warn "Setup missing, re-installing"
|
||||
return install()
|
||||
end
|
||||
success(Cmd(`git pull`, dir=setup)) ||
|
||||
if success(Cmd(`git pull origin master`, dir=setup))
|
||||
@info "Sucessfully updated Setup"
|
||||
else
|
||||
@error "Failed to update Setup"
|
||||
end
|
||||
end
|
||||
|
|
Loading…
Reference in New Issue