2019-12-05 20:10:59 +04:00
|
|
|
const repoUrl = 'https://gitlab.com/ligolang/ligo';
|
2019-05-13 17:55:32 +04:00
|
|
|
|
2019-12-10 17:47:31 +04:00
|
|
|
let reasonHighlightJs = require('reason-highlightjs');
|
|
|
|
|
2019-05-13 17:55:32 +04:00
|
|
|
const siteConfig = {
|
2019-12-05 20:10:59 +04:00
|
|
|
title: 'LIGO', // Title for your website.
|
2020-01-22 19:16:08 +04:00
|
|
|
tagline: 'LIGO is a friendly smart contract language for Tezos',
|
2019-12-05 20:10:59 +04:00
|
|
|
taglineSub: 'Michelson was never so easy',
|
|
|
|
url: 'https://ligolang.org', // Your website URL
|
|
|
|
baseUrl: '/', // Base URL for your project */
|
2019-05-13 17:55:32 +04:00
|
|
|
// For github.io type URLs, you would set the url and baseUrl like:
|
|
|
|
// url: 'https://facebook.github.io',
|
|
|
|
// baseUrl: '/test-site/',
|
|
|
|
|
|
|
|
// Used for publishing and more
|
2019-12-05 20:10:59 +04:00
|
|
|
projectName: 'ligo',
|
2020-02-10 22:07:20 +04:00
|
|
|
organizationName: 'TBN',
|
2019-05-13 17:55:32 +04:00
|
|
|
// For top-level user or org sites, the organization is still the same.
|
|
|
|
// e.g., for the https://JoelMarcey.github.io site, it would be set like...
|
|
|
|
// organizationName: 'JoelMarcey'
|
|
|
|
|
|
|
|
// For no header links in the top nav bar -> headerLinks: [],
|
|
|
|
headerLinks: [
|
2019-12-05 20:10:59 +04:00
|
|
|
{ href: 'https://ide.ligolang.org/', label: 'Try Online' },
|
|
|
|
{ doc: 'intro/installation', label: 'Install' },
|
|
|
|
{ doc: 'intro/what-and-why', label: 'Docs' },
|
2019-09-25 19:45:37 +04:00
|
|
|
{
|
2019-12-05 20:10:59 +04:00
|
|
|
doc: 'tutorials/get-started/tezos-taco-shop-smart-contract',
|
|
|
|
label: 'Tutorials'
|
2019-09-25 19:45:37 +04:00
|
|
|
},
|
2019-12-05 20:10:59 +04:00
|
|
|
{ blog: true, label: 'Blog' },
|
2020-01-22 19:16:08 +04:00
|
|
|
// TODO: { href: "/odoc", label: "API" },
|
2019-12-05 20:10:59 +04:00
|
|
|
// { doc: 'contributors/origin', label: 'Contribute' },
|
|
|
|
{ href: '/contact', label: 'Ask Questions' },
|
2019-09-25 19:45:37 +04:00
|
|
|
{ search: true }
|
2019-05-13 17:55:32 +04:00
|
|
|
],
|
|
|
|
|
2019-12-05 20:10:59 +04:00
|
|
|
footerLinks: {
|
|
|
|
docs: [
|
|
|
|
{ doc: 'intro/installation', label: 'Install' },
|
|
|
|
{ doc: 'api/cli-commands', label: 'CLI Commands' },
|
|
|
|
{ doc: 'contributors/origin', label: 'Contribute' },
|
2020-01-22 19:16:08 +04:00
|
|
|
{ href: '/odoc', label: 'API Documentation' }
|
2019-12-05 20:10:59 +04:00
|
|
|
],
|
|
|
|
community: [
|
2020-01-22 19:16:08 +04:00
|
|
|
{
|
|
|
|
href: 'https://forum.tezosagora.org/tag/ligo',
|
|
|
|
label: 'Tezos Agora Forum',
|
|
|
|
blankTarget: true
|
|
|
|
},
|
2019-12-05 20:10:59 +04:00
|
|
|
{
|
|
|
|
href: 'https://tezos.stackexchange.com/questions/tagged/ligo',
|
|
|
|
label: 'Tezos Stack Exchange',
|
|
|
|
blankTarget: true
|
|
|
|
},
|
2020-01-22 19:16:08 +04:00
|
|
|
{
|
|
|
|
href: 'https://t.me/LigoLang',
|
|
|
|
label: 'Telegram',
|
|
|
|
blankTarget: true
|
|
|
|
},
|
2019-12-05 20:10:59 +04:00
|
|
|
{
|
|
|
|
href: 'https://discord.gg/9rhYaEt',
|
|
|
|
label: 'Discord',
|
|
|
|
blankTarget: true
|
|
|
|
}
|
|
|
|
],
|
|
|
|
more: [
|
|
|
|
{
|
|
|
|
doc: 'tutorials/get-started/tezos-taco-shop-smart-contract',
|
|
|
|
label: 'Tutorials'
|
|
|
|
},
|
2020-01-22 19:16:08 +04:00
|
|
|
{ href: repoUrl, label: 'GitLab' }
|
2019-12-05 20:10:59 +04:00
|
|
|
]
|
|
|
|
},
|
2019-05-13 17:55:32 +04:00
|
|
|
|
|
|
|
/* path to images for header/footer */
|
2019-12-05 20:10:59 +04:00
|
|
|
footerIcon: 'img/logo.svg',
|
|
|
|
favicon: 'img/logo.svg',
|
2019-05-13 17:55:32 +04:00
|
|
|
|
|
|
|
/* Colors for website */
|
|
|
|
colors: {
|
2019-12-05 20:10:59 +04:00
|
|
|
primaryColor: '#1A1A1A',
|
|
|
|
secondaryColor: '#1A1A1A'
|
2019-05-13 17:55:32 +04:00
|
|
|
},
|
|
|
|
|
|
|
|
// This copyright info is used in /core/Footer.js and blog RSS/Atom feeds.
|
2019-09-28 17:55:02 +04:00
|
|
|
copyright: `© ${new Date().getFullYear()} LIGO. All rights reserved.`,
|
2019-05-13 17:55:32 +04:00
|
|
|
|
|
|
|
highlight: {
|
|
|
|
// Highlight.js theme to use for syntax highlighting in code blocks.
|
2019-12-05 20:10:59 +04:00
|
|
|
theme: 'default',
|
2019-12-10 17:47:31 +04:00
|
|
|
hljs: function (hljs) {
|
|
|
|
hljs.registerLanguage('reasonligo', reasonHighlightJs);
|
|
|
|
hljs.registerLanguage('pascaligo', function (hljs) {
|
2019-09-30 21:23:30 +04:00
|
|
|
return {
|
|
|
|
// case_insensitive: true,
|
|
|
|
beginKeywords: '',
|
|
|
|
keywords: {
|
2019-12-05 20:10:59 +04:00
|
|
|
keyword:
|
2020-02-10 22:07:20 +04:00
|
|
|
'and attributes begin big_map block case const contains else'
|
|
|
|
+ ' end False for from function if in is list map mod nil'
|
|
|
|
+ ' not of or patch record remove set skip then to True type'
|
|
|
|
+ ' var while with',
|
|
|
|
literal: 'true false unit int string Some None bool nat list'
|
2019-09-30 21:23:30 +04:00
|
|
|
},
|
|
|
|
lexemes: '[a-zA-Z][a-zA-Z0-9_]*',
|
|
|
|
contains: [
|
|
|
|
hljs.C_LINE_COMMENT_MODE,
|
|
|
|
|
|
|
|
{
|
|
|
|
className: 'type',
|
|
|
|
begin: /[A-Z][a-z]+/
|
|
|
|
},
|
|
|
|
{
|
2019-12-05 20:10:59 +04:00
|
|
|
begin: /[*+-:;\(\)\{\}|\>\<]/
|
2019-09-30 21:23:30 +04:00
|
|
|
// className: 'ignore'
|
|
|
|
}
|
|
|
|
]
|
2019-12-05 20:10:59 +04:00
|
|
|
};
|
2019-09-30 21:23:30 +04:00
|
|
|
});
|
|
|
|
}
|
2019-05-13 17:55:32 +04:00
|
|
|
},
|
|
|
|
|
|
|
|
// Add custom scripts here that would be placed in <script> tags.
|
2019-12-05 20:10:59 +04:00
|
|
|
scripts: ['https://buttons.github.io/buttons.js'],
|
2019-05-13 17:55:32 +04:00
|
|
|
|
|
|
|
// On page navigation for the current documentation page.
|
2019-12-05 20:10:59 +04:00
|
|
|
onPageNav: 'separate',
|
2019-05-13 17:55:32 +04:00
|
|
|
// No .html extensions for paths.
|
|
|
|
cleanUrl: true,
|
|
|
|
|
|
|
|
// Open Graph and Twitter card images.
|
2019-12-05 20:10:59 +04:00
|
|
|
ogImage: 'img/logo.svg',
|
|
|
|
twitterImage: 'img/undraw_tweetstorm.svg',
|
2019-05-13 17:55:32 +04:00
|
|
|
|
|
|
|
// Show documentation's last contributor's name.
|
|
|
|
// enableUpdateBy: true,
|
|
|
|
|
|
|
|
// Show documentation's last update time.
|
|
|
|
// enableUpdateTime: true,
|
|
|
|
|
|
|
|
// You may provide arbitrary config keys to be used as needed by your
|
|
|
|
// template. For example, if you need your repo's URL...
|
2019-12-05 20:10:59 +04:00
|
|
|
repoUrl: repoUrl,
|
2019-09-25 01:12:11 +04:00
|
|
|
stylesheets: [
|
2019-12-05 20:10:59 +04:00
|
|
|
'https://fonts.googleapis.com/css?family=DM+Sans:400,400i,500,500i,700,700i|Open+Sans:300,300i,400,600|Source+Code+Pro&display=swap'
|
2019-09-25 01:12:11 +04:00
|
|
|
],
|
2019-06-13 05:00:27 +04:00
|
|
|
algolia: {
|
2019-12-05 20:10:59 +04:00
|
|
|
apiKey: '12be98d9fd4242a5f16b70a5cc6b0158',
|
|
|
|
indexName: 'ligolang',
|
2019-06-13 05:00:27 +04:00
|
|
|
algoliaOptions: {} // Optional, if provided by Algolia
|
2019-12-05 20:10:59 +04:00
|
|
|
},
|
|
|
|
gaTrackingId: 'UA-153751765-1',
|
|
|
|
gaGtag: true
|
2019-05-13 17:55:32 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
module.exports = siteConfig;
|