#!/bin/bash

# $Id: edit,v 1.2 2002/09/30$

#
# Sample editing script (Usage: edit sourcefile)
#

editor=${EDITOR:-vi}  # <-- Enter your favourite editor here!
XOFF=0                # <-- Enter Proof's x-term window x offset here!
YOFF=0                # <-- Enter Proof's x-term window y offset here!

[ $TERM != 'xterm' ] && { echo 'No graphical user interface!'; exit 1; }

xterm -geometry "80x15+$XOFF+$YOFF" \
      -title 'Proof' \
      -e proof -P $1 &

$editor $1

proof -T $1

