summaryrefslogtreecommitdiff
path: root/support/proof/edit
blob: bb3f03c6c523bbaee291da490d553300a2ebd612 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/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