# HG changeset patch # User HackBot # Date 1378918324 0 # Node ID 6d40e8984cf7dc39418d51302b80c4845abd059e # Parent c60e253ff41040f2c16302c453684c1a06ce1aef echo \'#!/bin/sh\' > bin\\`; echo \'exec bash -c "$@"\' >>bin/\\`; chmod +x bin/\\` diff -r c60e253ff410 -r 6d40e8984cf7 bin/` --- a/bin/` Wed Sep 11 16:51:39 2013 +0000 +++ b/bin/` Wed Sep 11 16:52:04 2013 +0000 @@ -1,1 +1,2 @@ exec "$@" +exec bash -c "$@" diff -r c60e253ff410 -r 6d40e8984cf7 bin` --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin` Wed Sep 11 16:52:04 2013 +0000 @@ -0,0 +1,1 @@ +#!/bin/sh