1.1 --- a/en/examples/run-example	Tue Aug 08 20:41:37 2006 +0200
     1.2 +++ b/en/examples/run-example	Tue Aug 08 14:13:28 2006 -0700
     1.3 @@ -25,7 +25,7 @@
     1.4      return s
     1.5          
     1.6  class example:
     1.7 -    shell = '/bin/bash'
     1.8 +    shell = '/usr/bin/env bash'
     1.9      prompt = '__run_example_prompt__\n'
    1.10      pi_re = re.compile('#\$\s*(name):\s*(.*)$')
    1.11      
    1.12 @@ -89,7 +89,8 @@
    1.13          sys.stderr.flush()
    1.14          pid, fd = pty.fork()
    1.15          if pid == 0:
    1.16 -            cmdline = ['/bin/bash', '--noediting', '--noprofile', '--norc']
    1.17 +            cmdline = ['/usr/bin/env', 'bash', '--noediting', '--noprofile',
    1.18 +                       '--norc']
    1.19              try:
    1.20                  os.execv(cmdline[0], cmdline)
    1.21              except OSError, err: