blob: 950fa9a2b64f33a5352405c7383f693753eb324f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# This is an example shell script for processing
# with the script management of Proof General.
#
# It demonstrates the usefulness of PG simply for
# sending a pre-defined sequence of commands to
# some command-line interpreter, here /bin/sh.
#
# To adjust this for your needs, edit pgshell.el
# (or copy and rename it).
#
# $Id$
#
# What time is it?
date;
# What machine am I on?
uname -a;
# What files are here?
ls
-lt;
# Notes:
#
# * Commands have to be terminated by ';'. Alternative is to write
# your own scanner to recognize the start of the next command.
#
# * Undo has no effect, of course, it just navigates in the file.
#
|
