diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-11-13 13:19:07 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-11-13 13:19:07 (GMT) |
commit | 0aa31147dbd744e41a165b4cb45283340a069f90 (patch) | |
tree | 148e24c72c89975fdd606a074763148555ee6316 /bin/sugar-launch | |
parent | 419318923893d5ab8a7cebe690ead24ff7d6b4ef (diff) |
Strip out /usr/bin/env from the interpreter cmd,
it's apparently confusing gdb.
Diffstat (limited to 'bin/sugar-launch')
-rw-r--r-- | bin/sugar-launch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/sugar-launch b/bin/sugar-launch index 501b289..e47cb1e 100644 --- a/bin/sugar-launch +++ b/bin/sugar-launch @@ -55,6 +55,10 @@ def _get_interpreter(exec_file): if line.startswith('#!'): cmds = line[2:].strip().split(' ') cmds.append(abs_path) + + if '/usr/bin/env' in cmds: + cmds.remove('/usr/bin/env') + return cmds return exec_file |