You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For fonsp/Pluto.jl#844, I would like to check whether updates are available and conditionally show an "update" button to the user.
Currently, my ideas for implementing this are:
Use the registry to find the latest version of direct dependencies, and compare to installed versions.
Make a temporary copy of the environment folder, and call Pkg.update on it.
Both have shortcomings: 1. does not respect compatibility bounds between direct dependencies: updating to the latest version might not be possible. 2. can take a long time, downloading code and jll binaries.
Any suggestions? My suggestion would be a "dry run" option to API calls like update that just update a manifest without downloading source or binaries. This would enable 2.
The text was updated successfully, but these errors were encountered:
It was a bit tricky to define "dry" though because, for example, if you have packages that are added via git you need to update the git repository of those packages to know what the end result will be.
For fonsp/Pluto.jl#844, I would like to check whether updates are available and conditionally show an "update" button to the user.
Currently, my ideas for implementing this are:
Pkg.update
on it.Both have shortcomings: 1. does not respect compatibility bounds between direct dependencies: updating to the latest version might not be possible. 2. can take a long time, downloading code and jll binaries.
Any suggestions? My suggestion would be a "dry run" option to API calls like
update
that just update a manifest without downloading source or binaries. This would enable 2.The text was updated successfully, but these errors were encountered: