From 64565ae1a03d6f8aa3380ca04d521532b7906715 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 6 Apr 2004 15:40:55 +0000
Subject: Trivial instance of PG for shell scripts.

---
 pgshell/example.pgsh | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 pgshell/example.pgsh

(limited to 'pgshell/example.pgsh')

diff --git a/pgshell/example.pgsh b/pgshell/example.pgsh
new file mode 100644
index 00000000..d7f860e5
--- /dev/null
+++ b/pgshell/example.pgsh
@@ -0,0 +1,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.
+#
+
+
+
+
+
+
-- 
cgit v1.2.3