_config.yml

# Copyright 2023 seL4 Project a Series of LF Projects, LLC.
# SPDX-License-Identifier: BSD-2-Clause
#
# Welcome to Jekyll!
#
# This config file is meant for settings that affect your whole blog, values
# which you are expected to set up once and rarely edit after that. If you find
# yourself editing this file very often, consider using Jekyll's data files
# feature for the data you need to update frequently.
#
# For technical reasons, this file is *NOT* reloaded automatically when you use
# 'bundle exec jekyll serve'. If you change this file, please restart the server process.
#
# If you need help with YAML syntax, here are some quick references for you:
# https://learn-the-web.algonquindesign.ca/topics/markdown-yaml-cheat-sheet/#yaml
# https://learnxinyminutes.com/docs/yaml/
#
# Site settings
# These are used to personalize your new site. If you look in the HTML files,
# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on.
# You can create any custom variable you would like, and they will be accessible
# in the templates via {{ site.myvariable }}.

title: seL4
description: "The seL4 main website.  Pull requests are welcome."
url: "https://sel4.systems"
static_url: "https://sel4.systems"
baseurl: "" # the subpath of your site, e.g. /blog
git_repo: https://github.com/seL4/website
github_username: seL4
on_seL4: false

# TODO: collections ...
# menu items, news as posts?

# Front matter defaults:
defaults:
  - scope:
      path: ""
    values:
      layout: "default"

# Build settings

plugins:
  # Adds a sitemap.xml to site for webcrawlers
  - jekyll-sitemap
  # Allow multiple urls to redirect to a single page
  - jekyll-redirect-from

breadcrumbs:
  root:
    hide: false  # show breadcrumbs on root/home page
    image: false # Show image or title text

strict_front_matter: true

optional_front_matter:
# Set this to false if you want .md files to be accessible also
  remove_originals: true

exclude:
  - Makefile
  - README.md
  - LICENSES/
  - apache/
  - configs/
  - docker/