Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
136 lines (126 loc) · 4.63 KB

File metadata and controls

136 lines (126 loc) · 4.63 KB
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
// @ts-check
// Note: type annotations allow type checking and IDEs autocompletion
const lightCodeTheme = require("prism-react-renderer/themes/github")
const darkCodeTheme = require("prism-react-renderer/themes/dracula")
async function createConfig() {
const repo = process.env.GITHUB_REPOSITORY
const sha = process.env.GITHUB_SHA
const releaseTag = process.env.RELEASE_VERSION
const languageConfig = await (
await import("./language.config.js")
).default()
/** @type {import('@docusaurus/types').Config} */
const config = {
title: "DeviceScript",
tagline: "Portable, small footprint virtual machine for embedded devices.",
url: "https://microsoft.github.io/",
baseUrl: "/devicescript/",
onBrokenLinks: "throw",
onBrokenMarkdownLinks: "throw",
favicon: "img/favicon.svg",
trailingSlash: false,
// GitHub pages deployment config.
// If you aren't using GitHub pages, you don't need these.
organizationName: "microsoft", // Usually your GitHub org/user name.
projectName: "devicescript", // Usually your repo name.
deploymentBranch: "gh-pages",
// Even if you don't use internalization, you can use this field to set useful
// metadata like html lang. For example, if your site is Chinese, you may want
// to replace "en" with "zh-Hans".
i18n: {
defaultLocale: "en",
locales: ["en"],
},
presets: [
[
"classic",
/** @type {import('@docusaurus/preset-classic').Options} */
({
docs: {
routeBasePath: '/',
sidebarPath: require.resolve("./sidebars.js"),
remarkPlugins: [],
},
blog: false,
theme: {
customCss: require.resolve("./src/css/custom.css"),
},
}),
],
],
themeConfig:
/** @type {import('@docusaurus/preset-classic').ThemeConfig} */
({
docs: {
sidebar: {
hideable: true,
autoCollapseCategories: true,
},
},
navbar: {
title: "DeviceScript",
logo: {
alt: "DeviceScript language",
src: "img/logo.svg",
},
items: [
{
type: "doc",
docId: "intro",
position: "left",
label: "Docs",
},
{
href: "https://github.com/microsoft/devicescript/",
label: "GitHub",
position: "right",
},
],
},
footer: {
style: "dark",
links: [
{
title: "Docs",
items: [
{
label: "Language Reference",
to: "/intro",
},
],
},
{
title: "Community",
items: [
{
label: "Discussions",
href: "https://github.com/microsoft/devicescript/discussions",
},
],
},
],
copyright: `Copyright © ${new Date().getFullYear()} Microsoft.`,
},
prism: {
theme: lightCodeTheme,
darkTheme: darkCodeTheme,
},
}),
markdown: {
mermaid: true,
},
themes: ["@docusaurus/theme-mermaid"],
}
const renderCodeBlocks = (
await import("./src/remark/render-code-blocks.mjs")
).default
// add custom codeblocks to the default docs
config.presets?.forEach(preset =>
preset[1].docs.remarkPlugins?.push(renderCodeBlocks)
)
config.plugins?.forEach(plugin =>
plugin[1]?.remarkPlugins?.push(renderCodeBlocks)
)
return config
}
module.exports = createConfig
Morty Proxy This is a proxified and sanitized view of the page, visit original site.