window appearance hide toolbar statusbar in eclipse
start eclipse with nohup
avoid large resolution to minimize input delay
displays -> 200% for demo

script to reset db (dbmode=update), script to start compiler server if not started yet and run, mysql pass in hidden file preconfigured
script: echo “drop database xyz; create database xyz;” | mysql

add .my.cnf with login data for user, so mysql can be used without typing password

install docker so the submission can be tested with https://github.com/webdsl/docker-wpl-grading

configure search index to absolute path in examples

Submitted by Danny Groenewegen on 18 February 2022 at 12:59