.gitignore

@@ -50,3 +50,8 @@ node_modules
 *.toc
 *.out
 *.nav
+auto
+
+# bundle
+.bundle
+vendor

.gitlab-ci.yml

-image: ruby:2.3
+image: kwarc/jekyll-website-deployer
 stages:
   - deploy
 
@@ -36,6 +36,6 @@ deploy_staging:
     # build the website
     - bundle exec jekyll build -d _site
     # copy over all the files into the deployment folder
-    - cd _site && rsync -rv -e ssh ./ deploy@magma.informatik.uni-erlangen.de:/var/www/www.kwarc.info --delete
+    - cd _site && rsync -rv -e "ssh -p $SSH_DEPLOY_PORT" --checksum --exclude='Gemfile' --delete-excluded --delete ./ root@deploy.kwarc.info:/root/data --delete
   only:
     - master
\ No newline at end of file

Gemfile

 source 'https://rubygems.org'
 gem 'github-pages', group: :jekyll_plugins
+
+gem "sprockets", "~> 3.7"
+gem "webrick", "~> 1.7"
+
+# Fix ffi version to fix the following bug:
+#   ffi-1.17.0-x86_64-linux-musl requires rubygems version >= 3.3.22, which is
+#   incompatible with the current version, 2.7.6.2
+gem "ffi", "< 1.17.0"

_config.yml

@@ -3,7 +3,7 @@ permalink:        /news/:year/:month/:day/:title/
 # Setup
 title:               KWARC
 tagline:             'Knowledge Adaptation and Reasoning for Content '
-description:         'The Research Group of the Professorship for Knowledge Representation and Processing at <a href="https://fau.de" class="black-text">FAU Erlangen-Nürnberg</a> - <a href="https://cs.fau.de" class="black-text">Computer Science</a> (previously <a href="https://jacobs-university.de/" class="black-text">Jacobs University</a>). '
+description:         'The Research Group of the Professorship for Knowledge Representation and Processing at <a href="https://fau.de" class="black-text">FAU Erlangen-Nürnberg</a> - <a href="https://cs.fau.de" class="black-text">Computer Science</a>. '
 url:                 https://kwarc.info
 baseurl:             ''
 paginate:            10
@@ -17,6 +17,7 @@ plugins:
   - jekyll-redirect-from
 
 exclude:
+    - 'run' # because Michael
     - 'public/materialize/materialize-src/*'
     - 'public/*.md'
     - 'public/*.html'
@@ -27,7 +28,7 @@ exclude:
 author:
   name:              'The KWARC Group'
   url:               http://kwarc.info
-  email:             kohlhase@kwarc.info
+  email:             michael.kohlhase@fau.de
 
 semesters:
     former:
@@ -62,15 +63,28 @@ semesters:
         - Spring17
         - WS16/17
         - SS17
-    current: WS17/18
-    upcoming: SS18
+        - WS17/18
+        - SS18
+        - WS18/19
+        - SS19
+        - WS19/20
+        - SS20
+        - WS20/21
+        - SS21
+        - WS21/22
+        - SS22
+        - WS22/23
+        - SS23 
+    current: WS24/25  
+    upcoming: SS25
 
 # Custom vars
 version:             0.3.0
-repository:          https://gl.kwarc.info/static/www.kwarc.info
+repository:          https://gl.kwarc.info/kwarc/kwarc.info/www
 tagfolder:           tag
 
 materialize:         materialize
+material-icons:      material-icons
 jquery:              jquery-3.2.1
 fontawesome:         font-awesome-4.7.0
 
@@ -79,14 +93,14 @@ menu:
     - title: 'News'
       url: '/news/'
       active: '/news/'
-      
+
     - title: 'People'
       active: '/people/'
       url: '/people/'
       items:
         - title: 'Former Members'
           url: '/people/former/'
-    
+
     - title: 'Research'
       url: '/research/'
       folder: 'research'
@@ -94,7 +108,7 @@ menu:
         - title: 'Bibliography'
           external: true
           url: 'https://kwarc.github.io/bibs/'
-    
+
     - title: 'Systems'
       active: '/systems/'
       url: '/systems/'
@@ -103,67 +117,72 @@ menu:
             url: '/systems/orphans/'
           - title: 'Historic Systems'
             url: '/systems/historic/'
-    
+
     - title: 'Projects'
       active: '/projects/'
       url: '/projects/'
       items:
           - title: 'Completed Projects'
             url: '/projects/completed/'
-    
+
     - title: 'Courses & Theses'
-      url: '/courses/current/'
+      url: '/courses/'
       active: '/courses/'
       items:
-          - title: 'Overview'
-            url: '/courses/overview/'	
+          - title: 'Overview (D)'
+            url: '/courses/overview/'
           - title: 'Former Courses'
-            url: '/courses/former/'	
+            url: '/courses/former/'
           - title: 'Upcoming Courses'
             url: '/courses/upcoming/'
-          - title: 'Theses & Projects'
+          - title: 'Thesis Topics & Projects'
+            url: '/courses/topics/'
+          - title: 'Completed Theses'
             url: '/courses/theses/'
 
     - title: 'Events'
       url: '/events/'
       active: '/events/'
-    
+
     - title: 'Hiring'
       url: '/hiring/'
       active: '/hiring/'
-      
+
     - title: 'Contact'
       url: '/contact/'
-      
+
 # Settings for compressing everything
 compress_html:
   clippings: []
   comments: ["<!-- ", " -->"]
- 
+
 # roles for people and their name
 roles:
-    - 
+    -
         id: faculty
         name: Faculty
     -
         id: postdoc
         name: Postdoc
-    - 
+    -
         id: phd-student
         name: "Phd Student"
-    - 
+    -
         id: master-student
         name: "Master Student"
     -
         id: bachelor-student
         name: "Bachelor Student"
-  
+    -
+        id: support-staff
+        name: "Technical & Support Staff"
+
 
-# default values -- the one for all **must** be first 
+# default values -- the one for all **must** be first
 defaults:
   -
     scope:
-      path: "" 
+      path: ""
     values:
       menu_hidden: false
       menu_order: 100

_includes/course.html

@@ -3,5 +3,5 @@
 {% endcomment %}
 
 <li class="collection-item">
-    <a href="{{item.url}}" class="title">{{item.title}}</a>
+    <a href="{{include.item.url}}" class="title">{{include.item.title}}</a>
 </li>
\ No newline at end of file

_includes/date.html

@@ -2,7 +2,7 @@
     Properly formats the date in yyyy[-mm] format. 
     Expects 'date' to be formatted as an argument. 
 {% endcomment %}
-{% assign dateparts = date | split: "-" %}
+{% assign dateparts = include.date | split: "-" %}
 {% assign year = dateparts[0] %}
 {% assign month = dateparts[1] %}
 

_includes/footer.html

@@ -21,7 +21,7 @@
       
       <div class="col l2 s12">
         <h5 class="white-text">Editing</h5>
-        <a href="{{site.repository}}/edit/master/{% if page.source %}{{ page.source }}{% else %}{{ page.path }}{% endif %}" title="Edit this page" class="waves-effect waves-teal btn-flat">
+        <a href="{{site.repository}}/-/edit/master/{% if page.source %}{{ page.source }}{% else %}{{ page.path }}{% endif %}" title="Edit this page" class="waves-effect waves-teal btn-flat">
           <i class="fa fa-pencil-square-o" aria-hidden="true"></i> Edit this page
         </a>
         <a href="{{site.repository}}/#repository-holding-the-sources-of-the-kwarcinfo-website"
@@ -34,11 +34,9 @@
   </div>
   <div class="footer-copyright">
     <div class="container">
-      &copy; 2017 The KWARC Group
-      <span class="right">
-        <a href="mailto:{{ site.author.email }}" title="E-Mail" class="black-text">
-          <i class="fa fa-envelope" aria-hidden="true"></i> Contact E-Mail
-        </a>
+      &copy; {{ site.time | date: '%Y' }} The KWARC Group
+      <span class="right legal-links">
+        <script src="https://privacy.kwarc.info/legal.js"></script>
       </span>
     </div>
   </div>

_includes/head.html

@@ -14,8 +14,8 @@
         {% endif %}
     </title>
     
-    <!--Import Google Icon Font -->
-    <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
+    <!-- Material CSS font -->
+    <link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.material-icons }}/font.css">
     
     <!-- Import materialize -->
     <link type="text/css" rel="stylesheet" href="{{ site.baseurl }}/public/{{ site.materialize }}/css/materialize.min.css"  media="screen,projection"/>

_includes/header.html

 <!-- The page title -->
-<nav class="top-nav">
+<nav class="top-nav nav-extended">
   <div class="container">
     <div class="nav-wrapper">
       <a class="page-title">
@@ -21,16 +21,16 @@
     <div class="userView">
       <a href="{{ site.baseurl }}/">
           <img src="{{ site.baseurl }}/public/kwarc_logo.svg" width="180px" height="180px" /> 
-          <img src="{{ site.baseurl }}/public/fau_logo.png" width="180px" height="37px" style="position: relative; left: 30px; "/>
+          <img src="{{ site.baseurl }}/public/fau_logo_hoch.svg" width="180px" style="position: relative; left: 30px; "/>
       </a>
     </div>
   </li>
   
   {% for item in site.menu | sort:"menu_order" %}
     {% if (item.folder or item.items) %}
-      {% include menu_sub.html %}
+      {% include menu_sub.html item=item %}
     {% else %}
-      {% include menu_single.html %}
+      {% include menu_single.html item=item %}
     {% endif %}
   {% endfor %}
-</ul>
\ No newline at end of file
+</ul>

_includes/menu_single.html

@@ -7,7 +7,7 @@
 {% assign base_folder = page.url | split: '/' %}
 {% assign base_folder = base_folder[1] %}
 
-{% assign represents = item.active | split: '/' %}
+{% assign represents = include.item.active | split: '/' %}
 {% assign represents = represents[1] %}
 
 {% if represents %}
@@ -16,25 +16,25 @@
     {% endif %}
 {% endif %}
 
-{% if page.url == item.url %}
+{% if page.url == include.item.url %}
     {% assign menu_active = true %}
 {% endif %}
 
-{% unless item.menu_hidden %}
+{% unless include.item.menu_hidden %}
   <li
     {% if menu_active %}class="active"{% endif %}
-    {% if page.url == item.url %}class="active"{% endif %}
+    {% if page.url == include.item.url %}class="active"{% endif %}
   >
-    {% if item.external %}
-        <a href="{{ item.url }}" target="_blank">
+    {% if include.item.external %}
+        <a href="{{ include.item.url }}" target="_blank">
     {% else %}
-        <a href="{{ site.baseurl }}{{ item.url }}">
+        <a href="{{ site.baseurl }}{{ include.item.url }}">
     {% endif %}
     
-      {% if item.menu_title %}
-        {{ item.menu_title }}
+      {% if include.item.menu_title %}
+        {{ include.item.menu_title }}
       {% else %}
-        {{ item.title }}
+        {{ include.item.title }}
       {% endif %}
     </a>
   </li>

_includes/menu_sub.html

@@ -4,6 +4,8 @@
     It also expects the global 'sorted_pages' argument. 
 {% endcomment %}
 
+{% assign item = include.item %}
+
 {% unless item.menu_hidden %}
     {% assign base_folder = page.url | split: '/' %}
     {% assign base_folder = base_folder[1] %}
@@ -51,7 +53,7 @@
                     {% endif %}
                 </a>
                 <div class="collapsible-body">
-                    <ul>
+                    <ul class='nobullets'>
                         <!-- If we have folders, iterate over them -->
                         {% if item.folder %}
                             {% for item in sorted_pages %}
@@ -59,7 +61,7 @@
                                 {% assign sub_components = item.url | split: '/' %}
                                 {% unless item.hidden %}
                                     {% if sub_components[1] == item_folder %}
-                                        {% include menu_single.html %}
+                                        {% include menu_single.html item=item %}
                                     {% endif %}
                                 {% endunless %}
                             {% endfor %}
@@ -68,7 +70,7 @@
                         <!-- if we have items, iterate over them -->
                         {% if item.items %}
                             {% for item in item.items %}
-                                {% include menu_single.html %}
+                                {% include menu_single.html item=item %}
                             {% endfor %}
                         {% endif %}
                     </ul>

_includes/pagination.html

@@ -3,6 +3,8 @@
     Expects the default jekyll 'paginator' as argument. 
 {% endcomment %}
 
+{% assign paginator = paginator %}
+
 <ul class="pagination">
     
     <!-- The previous page -->

_includes/people_chip.html

@@ -3,18 +3,18 @@
     It expects the username of the person as the 'person' variable
 {% endcomment %}
 
-{% capture purl %}/people/{{person}}/{% endcapture %}
+{% capture purl %}/people/{{include.person}}/{% endcapture %}
 {% assign pp = site.pages | where: "url", purl | first %}
 
 {% if pp %}
     <a href="{{ site.baseurl }}{{purl}}">
         <div class="chip">
-            <img src="{{ site.baseurl }}/{{pp.pic}}">
+            <img src="{{ site.baseurl }}/{{pp.pic}}"/>
             {{pp.fullname}}
         </div>
     </a>
 {% else %}
     <div class="chip">
-        {{person}}
+        {{include.person}}
     </div>
-{% endif %}
\ No newline at end of file
+{% endif %}

_includes/people_list.html

@@ -3,6 +3,8 @@
     Expects 'people' as an argument, representing the list of people to show. 
 {% endcomment %}
 
+{% assign people = include.people %}
+
 {% for role in site.roles %}
     {% assign rollers = people | where: "role", role.id %}
     
@@ -12,20 +14,18 @@
             <h5>{{role.name}}(s)</h5></li>
             {% for person in rollers %}
                 <li class="collection-item avatar">
-                    <img src="/{{person.pic}}" alt="" class="circle"/>
+                    {% if person.pic %}<img src="/{{person.pic}}" alt="" class="circle"/>{% endif %}
                     <a href="{{person.url}}" class="title">{{person.fullname}}</a>
                     <p>
                       {% if person.start_date %}
                         {% unless person.end_date %}
                         KWARCie since
                         {% endunless %}
-                        {% assign date = person.start_date %}
-                        {% include date.html %}
+                        {% include date.html date=person.start_date %}
                         
                         {% if person.end_date %}
                             &nbsp;-&nbsp;
-                            {% assign date = person.end_date %}
-                            {% include date.html %}
+                            {% include date.html date=person.end_date %}
                         {% endif %}
                       {% endif %}
                     </p>

_includes/post_link.html

@@ -4,12 +4,11 @@
 {% endcomment %}
 
 <li class="collection-item">
-    <a href="{{post.url}}" class="title">
-        {{post.title}} {{post.subtitle}}
+    <a href="{{include.post.url}}" class="title">
+        {{include.post.title}} {{include.post.subtitle}}
     </a>
     
     <div>
-        {% assign post = page %}
-        {% include post_meta.html %}
+        {% include post_meta.html post=include.post %}
     </div>
 </li>
\ No newline at end of file

_includes/post_meta.html

@@ -5,26 +5,29 @@
 
 by 
 
-{% assign person = post.author %}
-{% include people_chip.html %}
+{% include people_chip.html person=include.post.author %}
 
 on
 
 <div class="chip">
-    {{ post.date | date_to_string }}
+    {% if include.post.date %}
+        {{ include.post.date | date_to_string }}
+    {% else %}
+        There is no date
+    {% endif %}
 </div>
 
-{% if post.location %}
+{% if include.post.location %}
     at
 
     <div class="chip">
-        {{post.location}}
+        {{include.post.location}}
     </div>
 {% endif %}
 
 in
 
-{% for tag in post.tags %}
+{% for tag in include.post.tags %}
     <div class="chip">
         {{tag}}
     </div>

_includes/project_chip.html

+{% comment %}
+    This page creates a single 'chip' for linking to a project. 
+    It expects the name of the project as the 'project' variable
+{% endcomment %}
+
+{% capture purl %}/projects/{{include.project}}/{% endcapture %}
+{% assign pp = site.pages | where: "url", purl | first %}
+
+{% if pp %}
+    <a href="{{ site.baseurl }}{{purl}}">
+        <div class="chip">
+            {% if pp.logo %}
+                <img src="{{ site.baseurl }}/{{pp.logo}}"/>
+            {% endif %}
+            {{pp.shorttitle}}
+        </div>
+    </a>
+{% else %}
+    <div class="chip">
+        {{include.project}}
+    </div>
+{% endif %}

_includes/psitem.html

@@ -2,7 +2,10 @@
     Renders a link to a single project or system. Expects 'item' as a parameter. 
 {% endcomment %}
 
-<li class="collection-item">
+{% assign item = include.item %}
+
+<li class="collection-item avatar">
+    {% if item.logo %} <img src="/{{item.logo}}" alt="{{item.title}} logo" class="circle" style="border-radius: 0;" /> {% endif %}
     <a href="{{item.url}}" class="title">{{item.title}}</a>
     {% if item.funding %} ({{item.funding}}) {% endif %}
     {% if item.orphan %}<b>(up for adoption)</b>{% endif %}
@@ -12,17 +15,24 @@
           {% unless item.end_date %}
           <b>started</b>
           {% endunless %}
-          {% assign date = item.start_date %}
-          {% include date.html %}
+          {% include date.html date=item.start_date %}
           
           {% if item.end_date %}
               &nbsp;-&nbsp;
-              {% assign date = item.end_date %}
-              {% include date.html %}
+              {% include date.html date=item.end_date %}
           {% endif %}
           <br />
         {% endif %}
-        
+
+        {% if item.supported-by %}
+            <b>funded by</b>
+            
+            {% for project in item.supported-by %}
+                {% include project_chip.html project=project %}
+            {% endfor %}
+            <br />
+        {% endif %}
+
         {{item.teaser | safe}}
     </div>
 </li>

_includes/semester.html

@@ -2,6 +2,8 @@
     Renders the name of a single semester. Expects 'semester' as a parameter. 
 {% endcomment %}
 
+{% assign semester = include.semester %}
+
 <!-- check if we are a summer semester -->
 {% assign nosummer = semester | remove: "SS" %}
 {% unless nosummer == semester %}

_includes/system_chip.html

+{% comment %}
+    This page creates a single 'chip' for linking to a system. 
+    It expects the name of the system as the 'system' variable
+{% endcomment %}
+
+{% capture surl %}/systems/{{include.system}}/{% endcapture %}
+{% assign sp = site.pages | where: "url", surl | first %}
+
+{% if sp %}
+    <a href="{{ site.baseurl }}{{surl}}">
+        <div class="chip">
+            {% if sp.logo %}
+                <img src="{{ site.baseurl }}/{{sp.logo}}"/>
+            {% endif %}
+            {{sp.shorttitle}}
+        </div>
+    </a>
+{% else %}
+    <div class="chip">
+        {{include.system}}
+    </div>
+{% endif %}