diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
commit | 2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc (patch) | |
tree | c8db3f2a7887237b48689dd140417e2875d3cb10 /soupault.conf | |
parent | Add a revision table to the “Rewrite in Coq” article (diff) |
Adopt a literate programming approach for the configuration
Diffstat (limited to 'soupault.conf')
-rw-r--r-- | soupault.conf | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/soupault.conf b/soupault.conf deleted file mode 100644 index 22b80d3..0000000 --- a/soupault.conf +++ /dev/null @@ -1,62 +0,0 @@ -[settings] - strict = true - verbose = false - debug = false - site_dir = "site" - build_dir = "build" - - page_file_extensions = ["html"] - ignore_extensions = ["draft", "vo", "vok", "vos", "glob", "html~", "org", "aux", "sass"] - - generator_mode = true - complete_page_selector = "html" - default_template = "templates/main.html" - content_selector = "main" - doctype = "<!DOCTYPE html>" - clean_urls = true - -[index] - index = true - index_selector = "#index" - index_date_selector = ".time" - index_date_format = "%B %d, %Y" - index_item_template = "<li><a class=\"title\" href=\"{{url}}\">{{{title}}}</a> <span class=\"date\">– {{date}}</span></li>" - newest_entries_first = true - -[widgets.page-title] - widget = "title" - selector = "h1" - default = "~lthms" - prepend = "~lthms: " - -[widgets.generator-meta] - widget = "insert_html" - html = '<meta name="generator" content="soupault 1.5">' - selector = "head" - -[widgets.table-of-contents] - widget = "toc" - selector = "div#generate-toc" - action = "replace_element" - min_level = 2 - numbered_list = true - -[plugins.fix_urls] - file = "plugins/fix_urls.lua" - -[plugins.external_links] - file = "plugins/external_links.lua" - -[widgets.fix-urls] - widget = "fix_urls" - prefix_url = "/~lthms" - -[widgets.mark-external-urls] - after = "generate-history" - widget = "external_links" - -[widgets.generate-history] - widget = "preprocess_element" - selector = "#history" - command = "./scripts/generate_history.sh \"templates/history.html\"" - action = "replace_content"
\ No newline at end of file |