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
|
