blob: d7f860e5571572930617faa2a860ba6c72a63487 (
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
|
# 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.
#
|
