probing-lab.github.io/_config.yml at master · probing-lab/probing-lab.github.io · GitHub

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
### Site Settings ###
title               : ProbInG
description         : Probabilistic Invariant Generation @ TU Wien
baseurl             : ""
repository          : probing-lab/probing-lab.github.io
remote_theme        : YoussefRaafatNasry/portfolYOU@v2.2.2


### Plugins ###
plugins:
  - jemoji


### Navbar Settings ###
nav_exclude:                                            # The following paths are excluded from navbar
  - pages/publications-tags.html
  - pages/posts-tags.html
  - pages/404.html
  - pages/index.html


### Author Info ###
author:
  name              : ProbInG
  github            : probing-lab
  twitter           : probing_lab


### Posts ###
permalink: /posts/:title


### Collections ###
collections:
  people:
    output: true
    permalink: /people/:name
  publications:
    output: true
    permalink: /publications/:name
  benchmarks:
    output: true
    permalink: /benchmarks/:name
  tools:
    output: true
    permalink: /tools/:name


### Analytics ###
analytics:
  enabled: false                                        # Set true to enable analytics
  google:
    tracking_id: your-google-tracking-id


### Defaults for collections ###
defaults:
  - scope:
      path: ""
      type: "people"
    values:
      layout: "page"
  - scope:
      path: ""
      type: "publications"
    values:
        layout: "page"
  - scope:
      path: ""
      type: "tools"
    values:
      layout: "page"
  - scope:
      path: ""
      type: "benchmarks"
    values:
      layout: "page"
  - scope:
      path: ""
      type: "posts"
    values:
      layout: "page"
      comments: false                                   # Set to true to enable disqus comments

### Exclude from processing ###
exclude:
  - README.md
  - CONTRIBUTING.md
  - LICENSE
  - "*.log"