# HG changeset patch
# User Bryan O'Sullivan <bos@serpentine.com>
# Date 1155071608 25200
# Node ID 365b41b6a15e6ed7a9ec3c9e40b8ad317834f26a
# Parent  e9dd634ab99ea58b163f1b531bd35f569e03ca4d
bash is not necessarily in /bin.
Original patch against an earlier rev from Guy Brand <gb@isis.u-strasbg.fr>.

diff -r e9dd634ab99e -r 365b41b6a15e en/examples/run-example
--- 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: