hgbook
changeset 70:365b41b6a15e
bash is not necessarily in /bin.
Original patch against an earlier rev from Guy Brand <gb@isis.u-strasbg.fr>.
Original patch against an earlier rev from Guy Brand <gb@isis.u-strasbg.fr>.
author | Bryan O'Sullivan <bos@serpentine.com> |
---|---|
date | Tue Aug 08 14:13:28 2006 -0700 (2006-08-08) |
parents | e9dd634ab99e |
children | ddf533d41c09 |
files | en/examples/run-example |
line diff
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: