rev |
line source |
bos@3
|
1 #!/usr/bin/python
|
bos@4
|
2 #
|
bos@4
|
3 # This program takes something that resembles a shell script and runs
|
bos@4
|
4 # it, spitting input (commands from the script) and output into text
|
bos@4
|
5 # files, for use in examples.
|
bos@3
|
6
|
bos@3
|
7 import cStringIO
|
bos@3
|
8 import os
|
bos@3
|
9 import pty
|
bos@3
|
10 import re
|
bos@4
|
11 import shutil
|
bos@6
|
12 import signal
|
bos@36
|
13 import stat
|
bos@3
|
14 import sys
|
bos@4
|
15 import tempfile
|
bos@4
|
16 import time
|
bos@3
|
17
|
bos@4
|
18 def tex_escape(s):
|
bos@4
|
19 if '\\' in s:
|
bos@4
|
20 s = s.replace('\\', '\\\\')
|
bos@4
|
21 if '{' in s:
|
bos@4
|
22 s = s.replace('{', '\\{')
|
bos@4
|
23 if '}' in s:
|
bos@4
|
24 s = s.replace('}', '\\}')
|
bos@4
|
25 return s
|
bos@4
|
26
|
bos@3
|
27 class example:
|
bos@4
|
28 shell = '/bin/bash'
|
bos@6
|
29 prompt = '__run_example_prompt__\n'
|
bos@4
|
30 pi_re = re.compile('#\$\s*(name):\s*(.*)$')
|
bos@4
|
31
|
bos@3
|
32 def __init__(self, name):
|
bos@3
|
33 self.name = name
|
bos@3
|
34
|
bos@3
|
35 def parse(self):
|
bos@4
|
36 '''yield each hunk of input from the file.'''
|
bos@3
|
37 fp = open(self.name)
|
bos@3
|
38 cfp = cStringIO.StringIO()
|
bos@3
|
39 for line in fp:
|
bos@3
|
40 cfp.write(line)
|
bos@3
|
41 if not line.rstrip().endswith('\\'):
|
bos@3
|
42 yield cfp.getvalue()
|
bos@3
|
43 cfp.seek(0)
|
bos@3
|
44 cfp.truncate()
|
bos@3
|
45
|
bos@3
|
46 def status(self, s):
|
bos@3
|
47 sys.stdout.write(s)
|
bos@3
|
48 if not s.endswith('\n'):
|
bos@3
|
49 sys.stdout.flush()
|
bos@3
|
50
|
bos@6
|
51 def send(self, s):
|
bos@6
|
52 self.cfp.write(s)
|
bos@6
|
53 self.cfp.flush()
|
bos@6
|
54
|
bos@6
|
55 def receive(self):
|
bos@6
|
56 out = cStringIO.StringIO()
|
bos@4
|
57 while True:
|
bos@6
|
58 s = self.cfp.readline().replace('\r\n', '\n')
|
bos@6
|
59 if not s or s == self.prompt:
|
bos@6
|
60 break
|
bos@6
|
61 out.write(s)
|
bos@6
|
62 return out.getvalue()
|
bos@4
|
63
|
bos@6
|
64 def sendreceive(self, s):
|
bos@6
|
65 self.send(s)
|
bos@6
|
66 r = self.receive()
|
bos@6
|
67 if r.startswith(s):
|
bos@6
|
68 r = r[len(s):]
|
bos@6
|
69 return r
|
bos@6
|
70
|
bos@3
|
71 def run(self):
|
bos@3
|
72 ofp = None
|
bos@4
|
73 basename = os.path.basename(self.name)
|
bos@4
|
74 self.status('running %s ' % basename)
|
bos@4
|
75 tmpdir = tempfile.mkdtemp(prefix=basename)
|
bos@6
|
76 rcfile = os.path.join(tmpdir, '.bashrc')
|
bos@6
|
77 rcfp = open(rcfile, 'w')
|
bos@6
|
78 print >> rcfp, 'PS1="%s"' % self.prompt
|
bos@6
|
79 print >> rcfp, 'unset HISTFILE'
|
bos@19
|
80 print >> rcfp, 'export EXAMPLE_DIR="%s"' % os.getcwd()
|
bos@6
|
81 print >> rcfp, 'export LANG=C'
|
bos@6
|
82 print >> rcfp, 'export LC_ALL=C'
|
bos@6
|
83 print >> rcfp, 'export TZ=GMT'
|
bos@6
|
84 print >> rcfp, 'export HGRC="%s/.hgrc"' % tmpdir
|
bos@6
|
85 print >> rcfp, 'export HGRCPATH=$HGRC'
|
bos@6
|
86 print >> rcfp, 'cd %s' % tmpdir
|
bos@6
|
87 rcfp.close()
|
bos@6
|
88 pid, fd = pty.fork()
|
bos@6
|
89 if pid == 0:
|
bos@6
|
90 #os.execl(self.shell, self.shell)
|
benoit@22
|
91 os.system('/bin/bash --noediting --noprofile --norc')
|
bos@6
|
92 sys.exit(0)
|
bos@6
|
93 self.cfp = os.fdopen(fd, 'w+')
|
bos@4
|
94 try:
|
benoit@22
|
95 # setup env and prompt
|
benoit@22
|
96 self.sendreceive('source %s\n\n' % rcfile)
|
bos@4
|
97 for hunk in self.parse():
|
bos@4
|
98 # is this line a processing instruction?
|
bos@4
|
99 m = self.pi_re.match(hunk)
|
bos@4
|
100 if m:
|
bos@4
|
101 pi, rest = m.groups()
|
bos@4
|
102 if pi == 'name':
|
bos@4
|
103 self.status('.')
|
bos@4
|
104 out = rest
|
bos@4
|
105 assert os.sep not in out
|
bos@4
|
106 if out:
|
bos@4
|
107 ofp = open('%s.%s.out' % (self.name, out), 'w')
|
bos@4
|
108 else:
|
bos@4
|
109 ofp = None
|
bos@6
|
110 elif hunk.strip():
|
bos@4
|
111 # it's something we should execute
|
bos@6
|
112 output = self.sendreceive(hunk)
|
bos@6
|
113 if not ofp:
|
bos@6
|
114 continue
|
bos@6
|
115 # first, print the command we ran
|
bos@6
|
116 if not hunk.startswith('#'):
|
bos@6
|
117 nl = hunk.endswith('\n')
|
bos@6
|
118 hunk = ('$ \\textbf{%s}' %
|
bos@6
|
119 tex_escape(hunk.rstrip('\n')))
|
bos@6
|
120 if nl: hunk += '\n'
|
bos@6
|
121 ofp.write(hunk)
|
bos@4
|
122 # then its output
|
bos@19
|
123 ofp.write(tex_escape(output))
|
bos@4
|
124 self.status('\n')
|
bos@45
|
125 open(self.name + '.run', 'w')
|
bos@4
|
126 finally:
|
bos@6
|
127 try:
|
bos@6
|
128 output = self.sendreceive('exit\n')
|
bos@6
|
129 if ofp:
|
bos@6
|
130 ofp.write(output)
|
bos@6
|
131 self.cfp.close()
|
bos@6
|
132 except IOError:
|
bos@6
|
133 pass
|
bos@6
|
134 os.kill(pid, signal.SIGTERM)
|
bos@4
|
135 os.wait()
|
bos@4
|
136 shutil.rmtree(tmpdir)
|
bos@3
|
137
|
bos@3
|
138 def main(path='.'):
|
bos@3
|
139 args = sys.argv[1:]
|
bos@3
|
140 if args:
|
bos@3
|
141 for a in args:
|
bos@3
|
142 example(a).run()
|
bos@3
|
143 return
|
bos@3
|
144 for name in os.listdir(path):
|
bos@3
|
145 if name == 'run-example' or name.startswith('.'): continue
|
bos@3
|
146 if name.endswith('.out') or name.endswith('~'): continue
|
bos@45
|
147 if name.endswith('.run'): continue
|
bos@19
|
148 pathname = os.path.join(path, name)
|
bos@36
|
149 st = os.lstat(pathname)
|
bos@36
|
150 if stat.S_ISREG(st.st_mode) and st.st_mode & 0111:
|
bos@19
|
151 example(pathname).run()
|
bos@4
|
152 print >> open(os.path.join(path, '.run'), 'w'), time.asctime()
|
bos@3
|
153
|
bos@3
|
154 if __name__ == '__main__':
|
bos@3
|
155 main()
|