#!/bin/sh
# allotment: edit the allotment diary.

$EDITOR "$WEBSITE_PATH/allotment.html"
ws-push