#!/bin/sh
curl -s --header "Content-Type: text/plain" -d "$*" kelder.zeus.ugent.be/messages/ --output /dev/null