File size: 1,357 Bytes
0bd62e5 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 |
import { redirect } from "@sveltejs/kit";
import * as version from "$lib/json/version.json";
const COLOR_SETS = [
"green",
"yellow",
"red",
"blue",
"pink",
"purple",
"green",
"yellow",
"red",
"blue",
"pink",
"purple"
];
const DOCS_BUCKET = "https://gradio-docs-json.s3.us-west-2.amazonaws.com";
const VERSION = version.version;
async function load_release_guide_categories(
version: string
): Promise<typeof import("$lib/json/guides/guides_by_category.json")> {
let docs_json = await fetch(
`${DOCS_BUCKET}/${version}/guides/guides_by_category.json`
);
return await docs_json.json();
}
async function load_main_guide_categories() {
return await import(`../../../lib/json/guides/guides_by_category.json`);
}
export async function load({ params, url }) {
if (params?.version === VERSION) {
throw redirect(302, url.href.replace(`/${params.version}`, ""));
}
let guides_by_category = (
params?.version === "main"
? await load_main_guide_categories()
: await load_release_guide_categories(params?.version || VERSION)
).guides_by_category;
let total_guides = 0;
for (const category in guides_by_category) {
for (const guide in guides_by_category[category].guides) {
total_guides += 1;
}
}
return {
guides_by_category,
total_guides,
COLOR_SETS
};
}
|