#!/bin/sh
ZETTELDIR=/home/plom/zettel
GIT_WORK_TREE=$ZETTELDIR git checkout -f
cd $ZETTELDIR
redo