File size: 1,364 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 |
import { redirect } from "@sveltejs/kit";
import version from "$lib/json/version.json";
import wheel from "$lib/json/wheel.json";
export const prerender = true;
const DOCS_BUCKET = "https://gradio-docs-json.s3.us-west-2.amazonaws.com";
const VERSION = version.version;
async function load_release_docs(
version: string
): Promise<typeof import("$lib/json/docs.json")> {
let docs_json = await fetch(`${DOCS_BUCKET}/${version}/docs.json`);
return await docs_json.json();
}
async function load_main_docs(): Promise<typeof import("$lib/json/docs.json")> {
return await import("$lib/json/docs.json");
}
export async function load({ params, url }) {
if (params?.version === VERSION) {
throw redirect(302, url.href.replace(`/${params.version}`, ""));
}
let docs_json =
params?.version === "main"
? await load_main_docs()
: await load_release_docs(params.version || VERSION);
await load_main_docs();
let docs: { [key: string]: any } = docs_json.docs;
let js = docs_json.js || {};
let js_pages = docs_json.js_pages || [];
let js_client = docs_json.js_client;
let on_main = params.version === "main";
let pages: any = docs_json.pages;
let url_version = params?.version || VERSION;
return {
docs,
js,
js_pages,
on_main,
wheel,
pages,
js_client,
url_version,
VERSION
};
}
|