Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Notify user when new version is available #31

Closed
fonsp opened this issue Mar 23, 2020 · 2 comments
Closed

Notify user when new version is available #31

fonsp opened this issue Mar 23, 2020 · 2 comments
Assignees
Labels
almost closed backend Concerning the julia server and runtime enhancement New feature or request

Comments

@fonsp
Copy link
Owner

fonsp commented Mar 23, 2020

By fetching Project.toml from jsDelivr.

@fonsp fonsp added enhancement New feature or request backend Concerning the julia server and runtime labels Mar 23, 2020
@fonsp fonsp self-assigned this Mar 23, 2020
@fonsp
Copy link
Owner Author

fonsp commented Apr 1, 2020

Can be done in the frontend like this:

fetch("https://api.github.com/repos/fonsp/Pluto.jl/releases", {
            method: 'GET',
            cache: 'no-cache',
            headers: {
                'Content-Type': 'application/json',
            },
            redirect: 'follow',
            referrerPolicy: 'no-referrer',
        }).then((response) => {
            return response.json()
        }).then((response) => {
            console.log(response[0].tag_name)
        }).catch(console.error)

prints

v0.5.1

(or whatever the latest version is)

@fonsp
Copy link
Owner Author

fonsp commented Apr 2, 2020

Could be improved by directly running import Pkg; Pkg.update("Pluto"), but only if the user can see the installation progress/logs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
almost closed backend Concerning the julia server and runtime enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant