From c6c9ff2e0a6a9dc07019746d73d7cc85375af65c Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Wed, 18 Oct 2023 12:45:10 +0200 Subject: [PATCH 1/4] Add featured.plutojl.org as a featured source --- frontend/featured_sources.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/frontend/featured_sources.js b/frontend/featured_sources.js index e0dd1b0822..42ccc9bec3 100644 --- a/frontend/featured_sources.js +++ b/frontend/featured_sources.js @@ -1,9 +1,15 @@ export default { // check out https://github.com/JuliaPluto/pluto-developer-instructions/blob/main/How%20to%20update%20the%20featured%20notebooks.md to learn more sources: [ + { + url: "https://featured.plutojl.org/pluto_export.json", + valid_until: "2024-10", + id: "featured pluto", + }, { url: "https://cdn.jsdelivr.net/gh/JuliaPluto/featured@v3/pluto_export.json", integrity: "sha256-y2E/niS8Em5a4wfSupsmDi0JaTrKSI0WF9DBkfEiQYQ=", + id: "featured pluto", }, ], } From 0353a9b241cc221d6c7147bf23ba0a79273ee077 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Mon, 30 Oct 2023 18:17:20 +0100 Subject: [PATCH 2/4] merge --- frontend/featured_sources.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontend/featured_sources.js b/frontend/featured_sources.js index 42ccc9bec3..acdb80aa8b 100644 --- a/frontend/featured_sources.js +++ b/frontend/featured_sources.js @@ -7,9 +7,9 @@ export default { id: "featured pluto", }, { - url: "https://cdn.jsdelivr.net/gh/JuliaPluto/featured@v3/pluto_export.json", - integrity: "sha256-y2E/niS8Em5a4wfSupsmDi0JaTrKSI0WF9DBkfEiQYQ=", id: "featured pluto", + url: "https://cdn.jsdelivr.net/gh/JuliaPluto/featured@v4/pluto_export.json", + integrity: "sha256-YT5Msj4Iy4cJIuHQi09h3+AwxzreK46WS6EySbPPmJM=", }, ], } From 27a49bd8bb4684bf58c7e7036ac3fa802e4df091 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Mon, 30 Oct 2023 18:17:40 +0100 Subject: [PATCH 3/4] with nice monkey patch --- frontend/components/welcome/FeaturedCard.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontend/components/welcome/FeaturedCard.js b/frontend/components/welcome/FeaturedCard.js index 3c957c4f59..5cb2eb5b80 100644 --- a/frontend/components/welcome/FeaturedCard.js +++ b/frontend/components/welcome/FeaturedCard.js @@ -46,7 +46,8 @@ export const FeaturedCard = ({ entry, source_manifest, direct_html_links, disabl disable_ui: `true`, name: title == null ? null : `sample ${title}`, pluto_server_url: `.`, - slider_server_url: u(source_manifest?.slider_server_url), + // little monkey patch because we don't want to use the slider server when for the CDN source, only for the featured.plutojl.org source. But both sources have the same pluto_export.json so this is easiest. + slider_server_url: source_url?.includes("cdn.jsdelivr.net/gh/JuliaPluto/featured") ? null : u(source_manifest?.slider_server_url), }) const author = author_info(entry.frontmatter) From 8c72c630f9e15f29d40647a6268b24ca7c0d100f Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Mon, 30 Oct 2023 18:19:17 +0100 Subject: [PATCH 4/4] Update FeaturedCard.js MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit thanks panagiotis!! Co-Authored-By: Παναγιώτης Γεωργακόπουλος --- frontend/components/welcome/FeaturedCard.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/components/welcome/FeaturedCard.js b/frontend/components/welcome/FeaturedCard.js index 5cb2eb5b80..3204a00fcc 100644 --- a/frontend/components/welcome/FeaturedCard.js +++ b/frontend/components/welcome/FeaturedCard.js @@ -46,7 +46,7 @@ export const FeaturedCard = ({ entry, source_manifest, direct_html_links, disabl disable_ui: `true`, name: title == null ? null : `sample ${title}`, pluto_server_url: `.`, - // little monkey patch because we don't want to use the slider server when for the CDN source, only for the featured.plutojl.org source. But both sources have the same pluto_export.json so this is easiest. + // Little monkey patch because we don't want to use the slider server when for the CDN source, only for the featured.plutojl.org source. But both sources have the same pluto_export.json so this is easiest. slider_server_url: source_url?.includes("cdn.jsdelivr.net/gh/JuliaPluto/featured") ? null : u(source_manifest?.slider_server_url), })