changeset 70:365b41b6a15e

bash is not necessarily in /bin. Original patch against an earlier rev from Guy Brand <[e-mail]>.

--- a/en/examples/run-example	Tue Aug 08 20:41:37 2006 +0200
+++ b/en/examples/run-example	Tue Aug 08 14:13:28 2006 -0700
@@ -25,7 +25,7 @@
     return s
         
 class example:
-    shell = '/bin/bash'
+    shell = '/usr/bin/env bash'
     prompt = '__run_example_prompt__\n'
     pi_re = re.compile('#\$\s*(name):\s*(.*)$')
     
@@ -89,7 +89,8 @@
         sys.stderr.flush()
         pid, fd = pty.fork()
         if pid == 0:
-            cmdline = ['/bin/bash', '--noediting', '--noprofile', '--norc']
+            cmdline = ['/usr/bin/env', 'bash', '--noediting', '--noprofile',
+                       '--norc']
             try:
                 os.execv(cmdline[0], cmdline)
             except OSError, err: